The following pages link to Carsten Sinz (Q334794):
Displayed 20 items.
- SAT race 2015 (Q334795) (← links)
- Proving consistency assertions for automotive product data management (Q1977755) (← links)
- Visualizing SAT instances and runs of the DPLL algorithm (Q2462641) (← links)
- (Q2723418) (← links)
- (Q2741526) (← links)
- (Q2749865) (← links)
- (Q3006476) (← links)
- (Q3429163) (← links)
- Extended Resolution Proofs for Conjoining BDDs (Q3434726) (← links)
- HordeSat: A Massively Parallel Portfolio SAT Solver (Q3453220) (← links)
- Recognition of Nested Gates in CNF Formulas (Q3453230) (← links)
- Computation of Renameable Horn Backdoors (Q3502704) (← links)
- A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (Q3502705) (← links)
- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints (Q3524229) (← links)
- A First Step Towards a Unified Proof Checker for QBF (Q3612467) (← links)
- (Q4737457) (← links)
- Minimizing Models for Tseitin-Encoded SAT Instances (Q5326466) (← links)
- Termination Analysis of C Programs Using Compiler Intermediate Languages (Q5389070) (← links)
- Theory and Applications of Satisfiability Testing (Q5713716) (← links)
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification (Q5756562) (← links)