| [1] |
Armin Biere and Carsten Sinz.
Decomposing SAT problems into connected components.
Journal on Satisfiability, Boolean Modeling and Computation,
2006.
Accepted for publication. [ bib ] |
| [2] |
Carsten Sinz.
Towards an optimal CNF encoding of boolean cardinality constraints.
In Proc. of the 11th Intl. Conf. on Principles and Practice
of Constraint Programming (CP 2005), pages 827-831, Sitges, Spain,
October 2005. [ bib ] |
| [3] |
Carsten Sinz and Wolfgang Küchlin.
Co-configuration of products and on-line service manuals.
In Configuration Workshop Proceedings, 19th International Joint
Conference on Artificial Intelligence (IJCAI-05), Edinburgh, Scotland,
July 2005. [ bib ] |
| [4] |
Carsten Sinz and Edda-Maria Dieringer.
DPvis - a tool to visualize structured SAT instances.
In Proc. of the 8th Intl. Conf. on Theory and Applications of
Satisfiability Testing (SAT 2004), pages 257-268, St. Andrews, Scotland,
June 2005. Springer-Verlag. [ bib ] |
| [5] |
Carsten Sinz and Wolfgang Küchlin.
Verifying the on-line help system of SIEMENS magnetic resonance
tomographs.
In Proc. of the 6th Intl. Conf. on Formal Engineering Methods
(ICFEM'2004), pages 391-402, Seattle, WA, November 2004. [ bib ] |
| [6] |
Murali Sitaraman, Durga P. Gandi, Wolfgang Küchlin, Carsten Sinz, and
Bruce B. Weide.
DEET for component-based software.
In Proceedings of the 2004 SAVCBS Workshop, ACM SIGSOFT
2004/FSE-12, pages 95-104, Newport Beach, CA, October 2004. [ bib ] |
| [7] |
Carsten Sinz.
Visualizing the internal structure of SAT instances (preliminary
report).
In Proc. of the 7th Intl. Conf. on Theory and Applications of
Satisfiability Testing (SAT 2004), Vancouver, Canada, May 2004. [ bib ] |
| [8] |
Carsten Sinz and Wolfgang Küchlin.
Verifying the on-line help system of SIEMENS magnetic resonance
tomographs using SAT (extended abstract).
In Proc. of the 7th Intl. Conf. on Theory and Applications of
Satisfiability Testing (SAT 2004), Vancouver, Canada, May 2004. [ bib ] |
| [9] |
Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, and Viktor Mihajlovski.
Verifying CIM models of Apache web server configurations.
In Proc. of the 3rd International Conference on Quality
Software (QSIC 2003), pages 290-297, Dallas, TX, November 2003. IEEE
Computer Society. [ bib ] |
| [10] |
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
Parallel propositional satisfiability checking with distributed
dynamic learning.
Parallel Computing, 29(7):969-994, 2003. [ bib ] |
| [11] |
Murali Sitaraman, Durga P. Gandi, Wolfgang Küchlin, Carsten Sinz, and
Bruce B. Weide.
The humane bugfinder: Modular static analysis using a SAT solver.
Technical Report RSRG-03-05, Department of Computer Science, Clemson
University, SC, June 2003. [ bib ] |
| [12] |
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
A universal parallel SAT checking kernel.
In Hamid R. Arabnia and Youngsong Mun, editors, Proc. of the
Intl. Conf. on Parallel and Distributed Processing Techniques and
Applications (PDPTA'03), volume 4, pages 1720-1725, Las Vegas, NV, June
2003. CSREA Press. [ bib ] |
| [13] |
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin.
Formal methods for the validation of automotive product configuration
data.
Artificial Intelligence for Engineering Design, Analysis and
Manufacturing, 17(1):75-97, January 2003.
Special issue on configuration. [ bib ] |
| [14] |
Carsten Sinz, Thomas Lumpp, Jürgen Schneider, and Wolfgang Küchlin.
Detection of dynamic execution errors in IBM System
Automation's rule-based expert system.
Information and Software Technology, 44(14):857-873, November
2002. [ bib ] |
| [15] |
Carsten Sinz.
Knowledge compilation for product configuration.
In Configuration Workshop Proceedings, 15th European Conference
on Artificial Intelligence (ECAI-2002), pages 23-26, Lyon, France, July
2002. [ bib ] |
| [16] |
Jörg Denzinger, Carsten Sinz, Jürgen Avenhaus, and Wolfgang
Küchlin.
Teamwork-PaReDuX: Knowledge-based search with multiple parallel
agents.
In Proceedings of the International Conference on Massively
Parallel Computing Systems (MPCS 2002), Ischia, Italy, April 2002.
National Technological University Press, Fort Collins, CO. [ bib ] |
| [17] |
Carsten Sinz.
Formal verification in an industrial context.
In Symposium on the Effectiveness of Logic in Computer Science
(ELICS'02), pages 59-63, Saarbrücken, Germany, March 2002.
In Technical Report MPI-I-2002-2-007. [ bib ] |
| [18] |
Andrea Sinz and Carsten Sinz.
Software development for determining cross-linking sites in proteins.
Poster, 35. Diskussionstagung der Deutschen Gesellschaft für
Massenspektrometrie (DGMS 2002), Heidelberg, Germany, March 2002. [ bib ] |
| [19] |
Carsten Sinz, Thomas Lumpp, and Wolfgang Küchlin.
Towards a verification of the rule-based expert system of the IBM
SA for OS/390 automation manager.
In Proceedings of the 2nd Asia-Pacific Conference on Quality
Software (APAQS 2001), pages 367-374, Hong Kong, December 2001. IEEE
Computer Society. [ bib ] |
| [20] |
Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, and Wolfgang
Küchlin.
Combining parallel and distributed search in automated equational
deduction.
In Parallel Processing and Applied Mathematics PPAM 2001,
number 2328 in LNCS, Naleczow, Poland, September 2001. Springer-Verlag. [ bib ] |
| [21] |
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
Parallel consistency checking of automotive product data.
In Proc. of Intl. Conference Parallel Computing (ParCo
2001), Naples, Italy, September 2001. [ bib ] |
| [22] |
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
Distributed parallel SAT checking with dynamic learning using
DOTS.
In T. Gonzales, editor, Proc. of the IASTED Intl. Conference
Parallel and Distributed Computing and Systems (PDCS 2001), pages
396-401, Anaheim, CA, August 2001. ACTA Press. [ bib ] |
| [23] |
Carsten Sinz and Wolfgang Küchlin.
Dealing with temporal change in product documentation for
manufacturing.
In Configuration Workshop Proceedings, 17th International Joint
Conference on Artificial Intelligence (IJCAI-2001), pages 71-77, Seattle,
WA, August 2001. [ bib ] |
| [24] |
Carsten Sinz, Wolfgang Blochinger, and Wolfgang Küchlin.
PaSAT - parallel SAT-checking with lemma exchange: Implementation
and applications.
In H. Kautz and B. Selman, editors, LICS 2001 Workshop on
Theory and Applications of Satisfiability Testing (SAT 2001), volume 9 of
Electronic Notes in Discrete Mathematics, Boston, MA, June 2001.
Elsevier Science Publishers. [ bib ] |
| [25] |
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin.
Detection of inconsistencies in complex product model data using
extended propositional SAT-checking.
In I. Russell and J. Kolen, editors, Proceedings of the 14th
International FLAIRS Conference, pages 645-649, Key West, FL, May 2001.
AAAI Press. [ bib ] |
| [26] |
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin.
SAT-based consistency checking of automotive electronic product
data.
In Configuration Workshop Proceedings, 14th European Conference
on Artificial Intelligence (ECAI-2000), pages 74-78, Berlin, Germany,
August 2000. [ bib ] |
| [27] |
Carsten Sinz.
System description: ARA - an automatic theorem prover for relation
algebras.
In D. McAllester, editor, Automated Deduction CADE-17, number
1831 in LNAI, pages 177-182, Pittsburgh, PA, June 2000. Springer-Verlag. [ bib ] |
| [28] |
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, and
Wolfgang Küchlin.
A service-based agent framework for distributed symbolic computation.
In M. Bubak, R. Williams, H. Afsarmanesh, and B. Hertzberger,
editors, Proc. 8th Intl. Conf. on High Performance Computing and
Networking Europe, HPCN 2000, number 1823 in LNCS, pages 644-656,
Amsterdam, Netherlands, May 2000. Springer-Verlag. [ bib ] |
| [29] |
Wolfgang Küchlin and Carsten Sinz.
Proving consistency assertions for automotive product data
management.
In I. Gent, H. van Maaren, and T. Walsh, editors, SAT2000 -
Highlights of Satisfiability Research in the Year 2000, volume 63 of
Frontiers in Artificial Intelligence and Applications. IOS Press, 2000. [ bib ] |
| [30] |
Wolfgang Küchlin and Carsten Sinz.
Proving consistency assertions for automotive product data
management.
J. Automated Reasoning, 24(1-2):145-163, February 2000. [ bib ] |
| [31] |
Reinhard Bündgen, Carsten Sinz, and Jochen Walter.
ReDuX 1.5: New facets of rewriting.
In Harald Ganzinger, editor, Rewriting Techniques and
Application RTA-96, number 1103 in LNCS, pages 412-415, New Brunswick,
NJ, July 1996. Springer-Verlag. [ bib ] |