MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Carsten Sinz" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Visualizing the internal structure of SAT instances (preliminary report
by Carsten Sinz — 2004 — In Proc. 7th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT 2004
…Visualizing the Internal Structure of SAT Instances (Preliminary Report) Carsten Sinz Symbolic…
Cited by 4 (2 self) – Add To MetaCart

Towards an optimal cnf encoding of boolean cardinality constraints
by Carsten Sinz — 2005 — In Proc. of the 11th Intl. Conf. on Principles and Practice of Constraint Programming (CP 2005
…Towards an Optimal CNF Encoding of Boolean Cardinality Constraints (Technical Report) Carsten Sinz…
Cited by 10 (1 self) – Add To MetaCart

System Description: aRa - An Automatic Theorem Prover for Relation Algebras
by Carsten Sinz — 2000 — Automated Deduction CADE-17, LNAI 1831
…System Description: aRa – An Automatic Theorem Prover for Relation Algebras ⋆ Carsten Sinz…
Cited by 1 (0 self) – Add To MetaCart

Proving Consistency Assertions for Automotive Product Data Management
by Wolfgang Küchlin, Carsten Sinz — 2000 — J. Automated Reasoning
…Proving Consistency Assertions for Automotive Product Data Management Wolfgang Küchlin and Carsten…
Cited by 14 (5 self) – Add To MetaCart

Dealing with Temporal Change in Product Documentation for Manufacturing
by Carsten Sinz, Wolfgang Küchlin — 2001 — In Configuration Workshop Proceedings, 17th International Joint Conference on Artificial Intelligence (IJCAI-2001
…Dealing with Temporal Change in Product Documentation for Manufacturing Carsten Sinz…
Cited by 1 (1 self) – Add To MetaCart

Verifying the on-line help system of SIEMENS magnetic resonance tomographs
by Carsten Sinz, Wolfgang Küchlin — 2004 — In Proceedings of the 6th International Conference on Formal Engineering Methods (ICFEM’2004
… Abstract) Carsten Sinz and Wolfgang Küchlin Symbolic Computation Group, WSI for Computer Science…
Cited by 2 (1 self) – Add To MetaCart

DPvis - a tool to visualize the structure of SAT instances. SAT 2005 : international conference on theory and applications of satisfiability testing
by Carsten Sinz, Edda-maria Dieringer — 2005 — In Proc. of the 8th Intl. Conf. on Theory and Appl. of Satisfiability Testing (SAT
…DPVIS – A Tool to Visualize the Structure of SAT Instances Carsten Sinz and Edda-Maria Dieringer…
Cited by 2 (1 self) – Add To MetaCart

Extended resolution proofs for conjoining BDDs
by Carsten Sinz, Armin Biere — 2006 — In: Proc. of the 1st Intl. Computer Science Symp. in Russia (CSR 2006). LNCS 3967
…Extended Resolution Proofs for Conjoining BDDs Carsten Sinz and Armin Biere Institute for Formal…
Cited by 7 (3 self) – Add To MetaCart

SAT-Based Consistency Checking of Automotive Electronic Product Data
by Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin — 2000 — ECAI Workshop
…SAT-Based Consistency Checking of Automotive Electronic Product Data Carsten Sinz and Andreas…
Cited by 2 (2 self) – Add To MetaCart

Avinux: Towards automatic verification of Linux device drivers
by Hendrik Post, Carsten Sinz, Wolfgang Küchlin — 2007 — COMPUTER AIDED VERIFICATION, 19TH INTL. CONF., CAV (2007)
…Avinux: Towards Automatic Verification of Linux Device Drivers Hendrik Post, Carsten Sinz…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB