| Towards an optimal CNF encoding of boolean cardinality constraints C Sinz International conference on principles and practice of constraint …, 2005 | 677 | 2005 |
| 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 | 224 | 2012 |
| Formal methods for the validation of automotive product configuration data C Sinz, A Kaiser, W Küchlin Ai Edam 17 (1), 75-97, 2003 | 180 | 2003 |
| Configuration lifting: Verification meets software configuration H Post, C Sinz 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 130 | 2008 |
| Hordesat: A massively parallel portfolio SAT solver T Balyo, P Sanders, C Sinz Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015 | 114 | 2015 |
| 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 | 110 | 2001 |
| Extended resolution proofs for conjoining BDDs C Sinz, A Biere International Computer Science Symposium in Russia, 600-611, 2006 | 101 | 2006 |
| Parallel propositional satisfiability checking with distributed dynamic learning W Blochinger, C Sinz, W Küchlin Parallel Computing 29 (7), 969-994, 2003 | 95 | 2003 |
| Proving consistency assertions for automotive product data management W Küchlin, C Sinz Journal of Automated Reasoning 24 (1), 145-163, 2000 | 88 | 2000 |
| SAT race 2015 T Balyo, A Biere, M Iser, C Sinz Artificial Intelligence 241, 45-65, 2016 | 72 | 2016 |
| Termination analysis of C programs using compiler intermediate languages S Falke, D Kapur, C Sinz 22nd International Conference on Rewriting Techniques and Applications (RTA …, 2011 | 71 | 2011 |
| 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 | 67 | 2009 |
| A first step towards a unified proof checker for QBF T Jussila, A Biere, C Sinz, D Kröning, CM Wintersteiger Theory and Applications of Satisfiability Testing–SAT 2007: 10th …, 2007 | 64 | 2007 |
| 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 | 61 | 2010 |
| 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 | 60 | 2008 |
| Decomposing SAT problems into connected components A Biere, C Sinz Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 201-208, 2006 | 57 | 2006 |
| Extended resolution proofs for symbolic SAT solving with quantification T Jussila, C Sinz, A Biere International Conference on Theory and Applications of Satisfiability …, 2006 | 56 | 2006 |
| Deep learning for software defect prediction: A survey S Omri, C Sinz Proceedings of the IEEE/ACM 42nd international conference on software …, 2020 | 55 | 2020 |
| Termination analysis of imperative programs using bitvector arithmetic S Falke, D Kapur, C Sinz Verified Software: Theories, Tools, Experiments: 4th International …, 2012 | 54 | 2012 |
| The bounded model checker LLBMC S Falke, F Merz, C Sinz 2013 28th IEEE/ACM International Conference on Automated Software …, 2013 | 53 | 2013 |
