Seguir
Carsten Sinz
Carsten Sinz
Dirección de correo verificada de kit.edu
Título
Citado por
Citado por
Año
Towards an optimal CNF encoding of boolean cardinality constraints
C Sinz
International conference on principles and practice of constraint …, 2005
6472005
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
2222012
Formal methods for the validation of automotive product configuration data
C Sinz, A Kaiser, W Küchlin
Ai Edam 17 (1), 75-97, 2003
1812003
Configuration lifting: Verification meets software configuration
H Post, C Sinz
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
1272008
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
HordeSat: A massively parallel portfolio SAT solver
T Balyo, P Sanders, C Sinz
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
1022015
Extended resolution proofs for conjoining BDDs
C Sinz, A Biere
International Computer Science Symposium in Russia, 600-611, 2006
992006
Parallel propositional satisfiability checking with distributed dynamic learning
W Blochinger, C Sinz, W Küchlin
Parallel Computing 29 (7), 969-994, 2003
922003
Proving consistency assertions for automotive product data management
W Küchlin, C Sinz
Journal of Automated Reasoning 24 (1), 145-163, 2000
852000
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
692016
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
692011
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
652009
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
612007
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
602010
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
572008
Extended resolution proofs for symbolic SAT solving with quantification
T Jussila, C Sinz, A Biere
International Conference on Theory and Applications of Satisfiability …, 2006
562006
Decomposing SAT problems into connected components
A Biere, C Sinz
Journal on Satisfiability, Boolean Modeling and Computation 2 (1-4), 201-208, 2006
562006
Termination analysis of imperative programs using bitvector arithmetic
S Falke, D Kapur, C Sinz
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
542012
The bounded model checker LLBMC
S Falke, F Merz, C Sinz
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
522013
Deep learning for software defect prediction: A survey
S Omri, C Sinz
Proceedings of the IEEE/ACM 42nd international conference on software …, 2020
492020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20