Follow
Carsten Sinz
Title
Cited by
Cited by
Year
Towards an optimal CNF encoding of boolean cardinality constraints
C Sinz
International conference on principles and practice of constraint …, 2005
5432005
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
F Merz, S Falke, C Sinz
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
2122012
Formal methods for the validation of automotive product configuration data
C Sinz, A Kaiser, W Küchlin
Ai Edam 17 (1), 75-97, 2003
1742003
Configuration lifting: Verification meets software configuration
H Post, C Sinz
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
1182008
PaSAT—Parallel SAT-checking with lemma exchange: Implementation and applications
C Sinz, W Blochinger, W Küchlin
Electronic Notes in Discrete Mathematics 9, 205-216, 2001
1072001
Parallel propositional satisfiability checking with distributed dynamic learning
W Blochinger, C Sinz, W Küchlin
Parallel Computing 29 (7), 969-994, 2003
882003
Extended resolution proofs for conjoining BDDs
C Sinz, A Biere
International Computer Science Symposium in Russia, 600-611, 2006
862006
Hordesat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
792015
Proving consistency assertions for automotive product data management
W Küchlin, C Sinz
Journal of Automated Reasoning 24 (1), 145-163, 2000
782000
Termination analysis of C programs using compiler intermediate languages
S Falke, D Kapur, C Sinz
22nd International Conference on Rewriting Techniques and Applications (RTA'11), 2011
642011
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
592016
A first step towards a unified proof checker for QBF
T Jussila, A Biere, C Sinz, D Kröning, CM Wintersteiger
International Conference on Theory and Applications of Satisfiability …, 2007
592007
Linking functional requirements and software verification
H Post, C Sinz, F Merz, T Gorges, T Kropf
2009 17th IEEE International Requirements Engineering Conference, 295-302, 2009
572009
Decomposing SAT problems into connected components
A Biere, C Sinz
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 201-208, 2006
542006
Termination analysis of imperative programs using bitvector arithmetic
S Falke, D Kapur, C Sinz
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
522012
A Precise Memory Model for {Low-Level} Bounded Model Checking
C Sinz, S Falke, F Merz
5th International Workshop on Systems Software Verification (SSV 10), 2010
522010
Extended resolution proofs for symbolic SAT solving with quantification
T Jussila, C Sinz, A Biere
International Conference on Theory and Applications of Satisfiability …, 2006
502006
Reducing false positives by combining abstract interpretation and bounded model checking
H Post, C Sinz, A Kaiser, T Gorges
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
482008
The bounded model checker LLBMC
S Falke, F Merz, C Sinz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
462013
Overview and analysis of the SAT Challenge 2012 solver competition
A Balint, A Belov, M Järvisalo, C Sinz
Artificial Intelligence 223, 120-155, 2015
422015
The system can't perform the operation now. Try again later.
Articles 1–20