| 2008 |
|---|
| 31 | EE | Hendrik Post,
Carsten Sinz,
Alexander Kaiser,
Thomas Gorges:
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking.
ASE 2008: 188-197 |
| 30 | EE | Hendrik Post,
Carsten Sinz:
Configuration Lifting: Verification meets Software Configuration.
ASE 2008: 347-350 |
| 29 | EE | Eray Gencay,
Carsten Sinz,
Wolfgang Küchlin:
Towards SLA-based optimal workload distribution in SANs.
NOMS 2008: 755-758 |
| 28 | EE | Stephan Kottler,
Michael Kaufmann,
Carsten Sinz:
Computation of Renameable Horn Backdoors.
SAT 2008: 154-160 |
| 27 | EE | Stephan Kottler,
Michael Kaufmann,
Carsten Sinz:
A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors.
SAT 2008: 161-167 |
| 2007 |
|---|
| 26 | EE | Carsten Sinz:
Compressing Propositional Proofs by Common Subproof Extraction.
EUROCAST 2007: 547-555 |
| 25 | EE | Toni Jussila,
Armin Biere,
Carsten Sinz,
Daniel Kröning,
Christoph M. Wintersteiger:
A First Step Towards a Unified Proof Checker for QBF.
SAT 2007: 201-214 |
| 24 | EE | Carsten Sinz,
Albert Haag,
Nina Narodytska,
Toby Walsh,
Esther Gelle,
Mihaela Sabin,
Ulrich Junker,
Barry O'Sullivan,
Rick Rabiser,
Deepak Dhungana,
Paul Grünbacher,
Klaus Lehner,
Christian Federspiel,
Daniel Naus:
Configuration.
IEEE Intelligent Systems 22(1): 78-90 (2007) |
| 23 | EE | Carsten Sinz:
Visualizing SAT Instances and Runs of the DPLL Algorithm.
J. Autom. Reasoning 39(2): 219-243 (2007) |
| 2006 |
|---|
| 22 | EE | Carsten Sinz,
Armin Biere:
Extended Resolution Proofs for Conjoining BDDs.
CSR 2006: 600-611 |
| 21 | EE | Toni Jussila,
Carsten Sinz,
Armin Biere:
Extended Resolution Proofs for Symbolic SAT Solving with Quantification.
SAT 2006: 54-60 |
| 20 | EE | Carsten Sinz,
Wolfgang Küchlin,
Dieter Feichtinger,
Georg Görtler:
Checking Consistency and Completeness of On-Line Product Manuals.
J. Autom. Reasoning 37(1-2): 45-66 (2006) |
| 19 | EE | Armin Biere,
Carsten Sinz:
Decomposing SAT Problems into Connected Components.
JSAT 2(1-4): 201-208 (2006) |
| 2005 |
|---|
| 18 | EE | Carsten Sinz:
Towards an Optimal CNF Encoding of Boolean Cardinality Constraints.
CP 2005: 827-831 |
| 17 | EE | Carsten Sinz,
Edda-Maria Dieringer:
DPvis - A Tool to Visualize the Structure of SAT Instances.
SAT 2005: 257-268 |
| 2004 |
|---|
| 16 | EE | Carsten Sinz,
Wolfgang Küchlin:
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs.
ICFEM 2004: 391-402 |
| 15 | EE | Carsten Sinz,
Wolfgang Küchlin:
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract)
SAT 2004 |
| 14 | EE | Carsten Sinz:
Visualizing the Internal Structure of SAT Instances (Preliminary Report)
SAT 2004 |
| 2003 |
|---|
| 13 | | Wolfgang Blochinger,
Carsten Sinz,
Wolfgang Küchlin:
A Universal Parallel SAT Checking Kernel.
PDPTA 2003: 1720-1725 |
| 12 | EE | Carsten Sinz,
Amir Khosravizadeh,
Wolfgang Küchlin,
Viktor Mihajlovski:
Verifying CIM Models of Apache Web-Server Configurations.
QSIC 2003: 290-297 |
| 11 | | Carsten Sinz,
Andreas Kaiser,
Wolfgang Küchlin:
Formal methods for the validation of automotive product configuration data.
AI EDAM 17(1): 75-97 (2003) |
| 10 | EE | Wolfgang Blochinger,
Carsten Sinz,
Wolfgang Küchlin:
Parallel propositional satisfiability checking with distributed dynamic learning.
Parallel Computing 29(7): 969-994 (2003) |
| 2002 |
|---|
| 9 | | Carsten Sinz,
Thomas Lumpp,
Jürgen M. Schneider,
Wolfgang Küchlin:
Detection of dynamic execution errors in IBM system automation's rule-based expert system.
Information & Software Technology 44(14): 857-873 (2002) |
| 2001 |
|---|
| 8 | EE | Carsten Sinz,
Wolfgang Küchlin,
Thomas Lumpp:
Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager.
APAQS 2001: 367-374 |
| 7 | | Carsten Sinz,
Andreas Kaiser,
Wolfgang Küchlin:
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking.
FLAIRS Conference 2001: 645-649 |
| 6 | EE | Carsten Sinz,
Jörg Denzinger,
Jürgen Avenhaus,
Wolfgang Küchlin:
Combining Parallel and Distributed Search in Automated Equational Deduction.
PPAM 2001: 819-832 |
| 5 | EE | Carsten Sinz,
Wolfgang Blochinger,
Wolfgang Küchlin:
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications.
Electronic Notes in Discrete Mathematics 9: 205-216 (2001) |
| 2000 |
|---|
| 4 | | Carsten Sinz:
System Description: ARA - An Automatic Theorem Prover for Relation Algebras.
CADE 2000: 177-182 |
| 3 | EE | Ralf-Dieter Schimkat,
Wolfgang Blochinger,
Carsten Sinz,
Michael Friedrich,
Wolfgang Küchlin:
A Service-Based Agent Framework for Distributed Symbolic Computation.
HPCN Europe 2000: 644-656 |
| 2 | | Wolfgang Küchlin,
Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management.
J. Autom. Reasoning 24(1/2): 145-163 (2000) |
| 1996 |
|---|
| 1 | | Reinhard Bündgen,
Carsten Sinz,
Jochen Walter:
ReDuX 1.5: New Facets of Rewriting.
RTA 1996: 412-415 |
