Carsten Sinz
17 publications
4 venues
H Index 11
Affiliation
Karlsruhe University of Applied Sciences, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
Verifying Equivalence Properties of Neural Networks with ReLU Activation Functions.
|
CP | 2020 | 16 |
| SAT Race 2015.
|
Artificial Intelligence | 2016 | 65 |
| Overview and analysis of the SAT Challenge 2012 solver competition.
|
Artificial Intelligence | 2015 | 42 |
| HordeSat: A Massively Parallel Portfolio SAT Solver.
|
SAT | 2015 | 82 |
| Recognition of Nested Gates in CNF Formulas.
|
SAT | 2015 | 8 |
| Minimizing Models for Tseitin-Encoded SAT Instances.
|
SAT | 2013 | 10 |
| Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation).
|
SAT | 2012 | 6 |
| Problem-Sensitive Restart Heuristics for the DPLL Procedure.
|
SAT | 2009 | 18 |
| A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors.
|
SAT | 2008 | 12 |
| Computation of Renameable Horn Backdoors.
|
SAT | 2008 | 13 |
| A First Step Towards a Unified Proof Checker for QBF.
|
SAT | 2007 | 54 |
| Extended Resolution Proofs for Symbolic SAT Solving with Quantification.
|
SAT | 2006 | 49 |
| Towards an Optimal CNF Encoding of Boolean Cardinality Constraints.
|
CP | 2005 | 562 |
| DPvis - A Tool to Visualize the Structure of SAT Instances.
|
SAT | 2005 | 22 |
| Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)
|
SAT | 2004 | 6 |
| Visualizing the Internal Structure of SAT Instances (Preliminary Report)
|
SAT | 2004 | 9 |
| System Description: ARA - An Automatic Theorem Prover for Relation Algebras.
|
CADE | 2000 | 10 |