Carsten Sinz

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SAT race 2015 Artificial Intelligence	2016-11-01	Paper
Recognition of Nested Gates in CNF Formulas Lecture Notes in Computer Science	2015-11-20	Paper
HordeSat: a massively parallel portfolio SAT solver Lecture Notes in Computer Science	2015-11-20	Paper
Minimizing models for Tseitin-encoded SAT instances Theory and Applications of Satisfiability Testing – SAT 2013	2013-08-05	Paper
Termination Analysis of C Programs Using Compiler Intermediate Languages	2012-04-24	Paper
Ordered binary decision diagrams, pigeonhole formulas and beyond	2011-06-14	Paper
A First Step Towards a Unified Proof Checker for QBF Theory and Applications of Satisfiability Testing – SAT 2007	2009-03-10	Paper
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints Principles and Practice of Constraint Programming - CP 2005	2008-09-09	Paper
Computation of Renameable Horn Backdoors Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors Theory and Applications of Satisfiability Testing – SAT 2008	2008-05-27	Paper
Visualizing SAT instances and runs of the DPLL algorithm Journal of Automated Reasoning	2007-12-03	Paper
Extended Resolution Proofs for Symbolic SAT Solving with Quantification Lecture Notes in Computer Science	2007-09-04	Paper
Extended Resolution Proofs for Conjoining BDDs Computer Science – Theory and Applications	2007-05-02	Paper
Decomposing SAT problems into connected components	2007-03-30	Paper
Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science	2005-12-15	Paper
scientific article; zbMATH DE number 2086860 (Why is no real title available?)	2004-08-11	Paper
Proving consistency assertions for automotive product data management	2001-10-21	Paper
PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications	2001-09-24	Paper
scientific article; zbMATH DE number 1614695 (Why is no real title available?)	2001-07-05	Paper
Proving consistency assertions for automotive product data management Journal of Automated Reasoning	2001-05-01	Paper

Research outcomes over time

This page was built for person: Carsten Sinz