Carsten Sinz

Available identifiers

Publication	Date of Publication	Type
SAT race 2015	2016-11-01	Paper
Recognition of Nested Gates in CNF Formulas	2015-11-20	Paper
HordeSat: A Massively Parallel Portfolio SAT Solver	2015-11-20	Paper
Minimizing Models for Tseitin-Encoded SAT Instances	2013-08-05	Paper
Termination Analysis of C Programs Using Compiler Intermediate Languages	2012-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q3006476	2011-06-14	Paper
A First Step Towards a Unified Proof Checker for QBF	2009-03-10	Paper
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints	2008-09-09	Paper
Computation of Renameable Horn Backdoors	2008-05-27	Paper
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors	2008-05-27	Paper
Visualizing SAT instances and runs of the DPLL algorithm	2007-12-03	Paper
Extended Resolution Proofs for Symbolic SAT Solving with Quantification	2007-09-04	Paper
Extended Resolution Proofs for Conjoining BDDs	2007-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q3429163	2007-03-30	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4737457	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
https://portal.mardi4nfdi.de/entity/Q2723418	2001-07-05	Paper
Proving consistency assertions for automotive product data management	2001-05-01	Paper

This page was built for person: Carsten Sinz