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
4412005
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
1812012
Formal methods for the validation of automotive product configuration data
C Sinz, A Kaiser, W Küchlin
Ai Edam 17 (1), 75-97, 2003
1562003
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
1032001
Configuration lifting: Verification meets software configuration
H Post, C Sinz
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
1002008
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
712006
Proving consistency assertions for automotive product data management
W Küchlin, C Sinz
Journal of Automated Reasoning 24 (1-2), 145-163, 2000
712000
Hordesat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
International Conference on Theory and Applications of Satisfiability …, 2015
582015
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
562011
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
562007
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
492009
Decomposing SAT problems into connected components
A Biere, C Sinz
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 201-208, 2006
482006
Termination analysis of imperative programs using bitvector arithmetic
S Falke, D Kapur, C Sinz
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
452012
Extended resolution proofs for symbolic SAT solving with quantification
T Jussila, C Sinz, A Biere
International Conference on Theory and Applications of Satisfiability …, 2006
452006
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
432016
A precise memory model for low-level bounded model checking
C Sinz, S Falke, F Merz
Proceedings of the 5th international conference on Systems software …, 2010
432010
The bounded model checker LLBMC
S Falke, F Merz, C Sinz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
382013
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
362008
Visualizing SAT instances and runs of the DPLL algorithm
C Sinz
Journal of Automated Reasoning 39 (2), 219-243, 2007
362007
The system can't perform the operation now. Try again later.
Articles 1–20