Search the dblp DataBase
Carsten Sinz :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] APAQS, 2001, pp:367-374 [Conf ] Carsten Sinz System Description: ARA - An Automatic Theorem Prover for Relation Algebras. [Citation Graph (0, 0)][DBLP ] CADE, 2000, pp:177-182 [Conf ] Carsten Sinz Towards an Optimal CNF Encoding of Boolean Cardinality Constraints. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:827-831 [Conf ] Carsten Sinz , Armin Biere Extended Resolution Proofs for Conjoining BDDs. [Citation Graph (0, 0)][DBLP ] CSR, 2006, pp:600-611 [Conf ] Carsten Sinz , Andreas Kaiser , Wolfgang Küchlin Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 2001, pp:645-649 [Conf ] Ralf-Dieter Schimkat , Wolfgang Blochinger , Carsten Sinz , Michael Friedrich , Wolfgang Küchlin A Service-Based Agent Framework for Distributed Symbolic Computation. [Citation Graph (0, 0)][DBLP ] HPCN Europe, 2000, pp:644-656 [Conf ] Carsten Sinz , Wolfgang Küchlin Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. [Citation Graph (0, 0)][DBLP ] ICFEM, 2004, pp:391-402 [Conf ] Wolfgang Blochinger , Carsten Sinz , Wolfgang Küchlin A Universal Parallel SAT Checking Kernel. [Citation Graph (0, 0)][DBLP ] PDPTA, 2003, pp:1720-1725 [Conf ] Carsten Sinz , Jörg Denzinger , Jürgen Avenhaus , Wolfgang Küchlin Combining Parallel and Distributed Search in Automated Equational Deduction. [Citation Graph (0, 0)][DBLP ] PPAM, 2001, pp:819-832 [Conf ] Carsten Sinz , Amir Khosravizadeh , Wolfgang Küchlin , Viktor Mihajlovski Verifying CIM Models of Apache Web-Server Configurations. [Citation Graph (0, 0)][DBLP ] QSIC, 2003, pp:290-297 [Conf ] Reinhard Bündgen , Carsten Sinz , Jochen Walter ReDuX 1.5: New Facets of Rewriting. [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:412-415 [Conf ] Toni Jussila , Carsten Sinz , Armin Biere Extended Resolution Proofs for Symbolic SAT Solving with Quantification. [Citation Graph (0, 0)][DBLP ] SAT, 2006, pp:54-60 [Conf ] Carsten Sinz Visualizing the Internal Structure of SAT Instances (Preliminary Report) [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Carsten Sinz , Edda-Maria Dieringer DPvis - A Tool to Visualize the Structure of SAT Instances. [Citation Graph (0, 0)][DBLP ] SAT, 2005, pp:257-268 [Conf ] Carsten Sinz , Wolfgang Küchlin Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) [Citation Graph (0, 0)][DBLP ] SAT, 2004, pp:- [Conf ] Carsten Sinz , Andreas Kaiser , Wolfgang Küchlin Formal methods for the validation of automotive product configuration data. [Citation Graph (0, 0)][DBLP ] AI EDAM, 2003, v:17, n:1, pp:75-97 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2002, v:44, n:14, pp:857-873 [Journal ] Wolfgang Küchlin , Carsten Sinz Proving Consistency Assertions for Automotive Product Data Management. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2000, v:24, n:1/2, pp:145-163 [Journal ] Carsten Sinz , Wolfgang Küchlin , Dieter Feichtinger , Georg Görtler Checking Consistency and Completeness of On-Line Product Manuals. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2006, v:37, n:1-2, pp:45-66 [Journal ] Wolfgang Blochinger , Carsten Sinz , Wolfgang Küchlin Parallel propositional satisfiability checking with distributed dynamic learning. [Citation Graph (0, 0)][DBLP ] Parallel Computing, 2003, v:29, n:7, pp:969-994 [Journal ] Carsten Sinz Compressing Propositional Proofs by Common Subproof Extraction. [Citation Graph (0, 0)][DBLP ] EUROCAST, 2007, pp:547-555 [Conf ] Toni Jussila , Armin Biere , Carsten Sinz , Daniel Kröning , Christoph M. Wintersteiger A First Step Towards a Unified Proof Checker for QBF. [Citation Graph (0, 0)][DBLP ] SAT, 2007, pp:201-214 [Conf ] Carsten Sinz Visualizing SAT Instances and Runs of the DPLL Algorithm. [Citation Graph (0, 0)][DBLP ] J. Autom. Reasoning, 2007, v:39, n:2, pp:219-243 [Journal ] Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking. [Citation Graph (, )][DBLP ] Configuration Lifting: Verification meets Software Configuration. [Citation Graph (, )][DBLP ] Linking Functional Requirements and Software Verification. [Citation Graph (, )][DBLP ] Problem-Sensitive Restart Heuristics for the DPLL Procedure. [Citation Graph (, )][DBLP ] Computation of Renameable Horn Backdoors. [Citation Graph (, )][DBLP ] A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors. [Citation Graph (, )][DBLP ] Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. [Citation Graph (, )][DBLP ] Towards SLA-based optimal workload distribution in SANs. [Citation Graph (, )][DBLP ] An Exponential Lower Bound on OBDD Refutations for Pigeonhole Formulas [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.303secs