@INPROCEEDINGS{JussilaSinzBiere:06, Author = {Toni Jussila and Carsten Sinz and Armin Biere}, Title = {Extended Resolution Proofs for Symbolic SAT Solving with Quantification}, Booktitle = {Proc.\ of the 9th Intl.\ Conf.\ on Theory and Applications of Satisfiability Testing ({SAT 2006})}, Month = aug, Year = 2006, Address = {Seattle, WA}, Publisher = {Springer-Verlag}, Pages = {54--60} } @INPROCEEDINGS{Sinz:06, Author = {Carsten Sinz}, Title = {Comparing Different Logic-Based Representations of Automotive Parts Lists}, Booktitle = {Configuration Workshop Proceedings, 17th European Conference on Artificial Intelligence ({ECAI 2006})}, Year = 2006, Month = aug, Address = {Riva del Garda, Italy} } @INPROCEEDINGS{SinzBiere:06, AUTHOR = {Carsten Sinz and Armin Biere}, TITLE = {Extended Resolution Proofs for Conjoining {BDDs}}, BOOKTITLE = {Proc.\ of the 1st Intl.\ Computer Science Symp.\ in Russia ({CSR 2006})}, YEAR = 2006, MONTH = jun, ADDRESS = {St. Petersburg, Russia}, PAGES = {600--611} } @ARTICLE{BiereSinz:06, AUTHOR = {Armin Biere and Carsten Sinz}, TITLE = {Decomposing {SAT} Problems into Connected Components}, JOURNAL = {Journal on Satisfiability, Boolean Modeling and Computation}, PUBLISHER = {Delft University}, ISSN = {1574-0617}, VOLUME = 2, PAGES = {191--198}, YEAR = 2006 } @INPROCEEDINGS{Sinz:05, AUTHOR = {Carsten Sinz}, TITLE = {Towards an Optimal {CNF} Encoding of Boolean Cardinality Constraints}, BOOKTITLE = {Proc.\ of the 11th Intl.\ Conf.\ on Principles and Practice of Constraint Programming ({CP 2005})}, YEAR = 2005, MONTH = OCT, ADDRESS = {Sitges, Spain}, PAGES = {827--831} } @INPROCEEDINGS{SinzKuechlin:05, AUTHOR = {Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {Co-Configuration of Products and On-Line Service Manuals}, BOOKTITLE = {Configuration Workshop Proceedings, 19th International Joint Conference on Artificial Intelligence ({IJCAI-05})}, YEAR = 2005, MONTH = JUL, ADDRESS = {Edinburgh, Scotland} } @INPROCEEDINGS{SinzDieringer:05, AUTHOR = {Carsten Sinz and Edda-Maria Dieringer}, TITLE = {{DPvis} - A Tool to Visualize Structured {SAT} Instances}, BOOKTITLE = {Proc.\ of the 8th Intl.\ Conf.\ on Theory and Applications of Satisfiability Testing ({SAT 2004})}, MONTH = JUN, YEAR = 2005, ADDRESS = {St. Andrews, Scotland}, PUBLISHER = {Springer-Verlag}, PAGES = {257--268} } @INPROCEEDINGS{SinzKuechlin:04b, AUTHOR = {Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {Verifying the On-Line Help System of {SIEMENS} Magnetic Resonance Tomographs}, BOOKTITLE = {Proc.\ of the 6th Intl.\ Conf.\ on Formal Engineering Methods (ICFEM'2004)}, MONTH = NOV, YEAR = 2004, ADDRESS = {Seattle, WA}, PAGES = {391--402} } @INPROCEEDINGS{Sitaraman-etal:04, AUTHOR = {Murali Sitaraman and Durga P. Gandi and Wolfgang K{\"u}chlin and Carsten Sinz and Bruce B. Weide}, TITLE = {{DEET} for Component-Based Software}, BOOKTITLE = {Proceedings of the 2004 SAVCBS Workshop, ACM SIGSOFT 2004/FSE-12}, MONTH = OCT, YEAR = 2004, ADDRESS = {Newport Beach, CA}, PAGES = {95--104} } @INPROCEEDINGS{Sinz:04, AUTHOR = {Carsten Sinz}, TITLE = {Visualizing the Internal Structure of {SAT} Instances (Preliminary Report)}, BOOKTITLE = {Proc.\ of the 7th Intl.\ Conf.\ on Theory and Applications of Satisfiability Testing ({SAT 2004})}, MONTH = MAY, YEAR = 2004, ADDRESS = {Vancouver, Canada} } @INPROCEEDINGS{SinzKuechlin:04a, AUTHOR = {Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {Verifying the On-Line Help System of {SIEMENS} Magnetic Resonance Tomographs using {SAT} (Extended Abstract)}, BOOKTITLE = {Proc.\ of the 7th Intl.\ Conf.\ on Theory and Applications of Satisfiability Testing ({SAT 2004})}, MONTH = MAY, YEAR = 2004, ADDRESS = {Vancouver, Canada} } @INPROCEEDINGS{Sinz-etal:03, AUTHOR = {Carsten Sinz and Amir Khosravizadeh and Wolfgang K{\"u}chlin and Viktor Mihajlovski}, TITLE = {Verifying {CIM} Models of {Apache} Web Server Configurations}, BOOKTITLE = {Proc.\ of the 3rd International Conference on Quality Software ({QSIC 2003})}, YEAR = 2003, MONTH = NOV, PAGES = {290--297}, ADDRESS = {Dallas, TX}, PUBLISHER = {IEEE Computer Society} } @ARTICLE{BlochingerSinzKuechlin03a, AUTHOR = {Wolfgang Blochinger and Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {Parallel Propositional Satisfiability Checking with Distributed Dynamic Learning}, YEAR = 2003, JOURNAL = {Parallel Computing}, VOLUME = 29, NUMBER = 7, PAGES = {969--994}, PUBLISHER = {Elsevier} } @TECHREPORT{Sitaraman-etal:03, AUTHOR = {Murali Sitaraman and Durga P. Gandi and Wolfgang K{\"u}chlin and Carsten Sinz and Bruce B. Weide}, TITLE = {The Humane Bugfinder: Modular Static Analysis Using a {SAT} Solver}, MONTH = JUN, YEAR = 2003, INSTITUTION = {Department of Computer Science, Clemson University, SC}, NUMBER = {RSRG-03-05} } @INPROCEEDINGS{BlochingerSinzKuechlin03b, AUTHOR = {Wolfgang Blochinger and Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {A Universal Parallel {SAT} Checking Kernel}, BOOKTITLE = {Proc.\ of the Intl.\ Conf.\ on Parallel and Distributed Processing Techniques and Applications ({PDPTA}'03)}, MONTH = {June}, ADDRESS = {Las Vegas, NV}, PUBLISHER = {CSREA Press}, EDITOR = {Hamid R. Arabnia and Youngsong Mun}, VOLUME = 4, PAGES = {1720--1725}, YEAR = 2003 } @ARTICLE{SinzKaiserKuechlin:03, AUTHOR = {Carsten Sinz and Andreas Kaiser and Wolfgang K{\"u}chlin}, TITLE = {Formal Methods for the Validation of Automotive Product Configuration Data}, JOURNAL = {Artificial Intelligence for Engineering Design, Analysis and Manufacturing}, PUBLISHER = {Cambridge University Press}, VOLUME = 17, NUMBER = 1, PAGES = {75--97}, YEAR = 2003, MONTH = JAN, NOTE = {Special issue on configuration.} } @ARTICLE{SinzLumppSchneiderKuechlin:02, AUTHOR = {Carsten Sinz and Thomas Lumpp and J{\"u}rgen Schneider and Wolfgang K{\"u}chlin}, TITLE = {Detection of Dynamic Execution Errors in {IBM} {S}ystem {A}utomation's Rule-Based Expert System}, JOURNAL = {Information and Software Technology}, PUBLISHER = {Elsevier Science Publishers}, VOLUME = 44, NUMBER = 14, YEAR = 2002, MONTH = NOV, PAGES = {857--873} } @INPROCEEDINGS{Sinz:02b, AUTHOR = {Carsten Sinz}, TITLE = {Knowledge Compilation for Product Configuration}, BOOKTITLE = {Configuration Workshop Proceedings, 15th European Conference on Artificial Intelligence ({ECAI}-2002)}, YEAR = 2002, MONTH = JUL, ADDRESS = {Lyon, France}, PAGES = {23--26} } @INPROCEEDINGS{DenzingerSinzAvenhausKuechlin:02, AUTHOR = {J{\"o}rg Denzinger and Carsten Sinz and J{\"u}rgen Avenhaus and Wolfgang K{\"u}chlin}, TITLE = {{Teamwork-PaReDuX}: Knowledge-based Search with Multiple Parallel Agents}, BOOKTITLE = {Proceedings of the International Conference on Massively Parallel Computing Systems ({MPCS 2002})}, YEAR = 2002, MONTH = APR, ADDRESS = {Ischia, Italy}, PUBLISHER = {National Technological University Press, Fort Collins, CO} } @INPROCEEDINGS{Sinz:02a, AUTHOR = {Carsten Sinz}, TITLE = {Formal Verification in an Industrial Context}, BOOKTITLE = {Symposium on the Effectiveness of Logic in Computer Science ({ELICS'02})}, YEAR = 2002, MONTH = MAR, NOTE = {In Technical Report MPI-I-2002-2-007.}, INSTITUTE = {Max Planck Institut f{\"u}r Informatik}, PAGES = {59--63}, ADDRESS = {Saarbr{\"u}cken, Germany} } @MISC{SinzSinz:02, AUTHOR = {Andrea Sinz and Carsten Sinz}, TITLE = {Software Development for Determining Cross-Linking Sites in Proteins}, MONTH = MAR, YEAR = 2002, HOWPUBLISHED = {Poster, 35. Diskussionstagung der Deutschen Gesellschaft f{\"u}r Massenspektrometrie ({DGMS 2002}), Heidelberg, Germany} } @INPROCEEDINGS{SinzLumppKuechlin:01, AUTHOR = {Carsten Sinz and Thomas Lumpp and Wolfgang K{\"u}chlin}, TITLE = {Towards a Verification of the Rule-Based Expert System of the {IBM} {SA} for {OS/390} Automation Manager}, BOOKTITLE = {Proceedings of the 2nd Asia-Pacific Conference on Quality Software ({APAQS 2001})}, YEAR = 2001, MONTH = DEC, ADDRESS = {Hong Kong}, PAGES = {367--374}, PUBLISHER = {IEEE Computer Society} } @INPROCEEDINGS{SinzDenzingerAvenhausKuechlin:01, AUTHOR = {Carsten Sinz and J{\"o}rg Denzinger and J{\"u}rgen Avenhaus and Wolfgang K{\"u}chlin}, TITLE = {Combining Parallel and Distributed Search in Automated Equational Deduction}, BOOKTITLE = {Parallel Processing and Applied Mathematics {PPAM 2001}}, YEAR = 2001, MONTH = SEP, ADDRESS = {Naleczow, Poland}, SERIES = {LNCS}, NUMBER = 2328, PUBLISHER = {Springer-Verlag} } @INPROCEEDINGS{BlochingerSinzKuechlin:01b, AUTHOR = {Wolfgang Blochinger and Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {Parallel Consistency Checking of Automotive Product Data}, BOOKTITLE = {Proc.\ of Intl.\ Conference Parallel Computing ({P}ar{C}o 2001)}, YEAR = 2001, MONTH = SEP, ADDRESS = {Naples, Italy} } @INPROCEEDINGS{BlochingerSinzKuechlin:01a, AUTHOR = {Wolfgang Blochinger and Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {Distributed Parallel {SAT} Checking with Dynamic Learning using {DOTS}}, EDITOR = {Gonzales, T.}, BOOKTITLE = {Proc.\ of the IASTED Intl.\ Conference Parallel and Distributed Computing and Systems ({PDCS} 2001)}, YEAR = 2001, PAGES = {396--401}, MONTH = AUG, ADDRESS = {Anaheim, CA}, PUBLISHER = {ACTA Press} } @INPROCEEDINGS{SinzKuechlin:01, AUTHOR = {Carsten Sinz and Wolfgang K{\"u}chlin}, TITLE = {Dealing with Temporal Change in Product Documentation for Manufacturing}, BOOKTITLE = {Configuration Workshop Proceedings, 17th International Joint Conference on Artificial Intelligence ({IJCAI-2001})}, YEAR = 2001, MONTH = AUG, ADDRESS = {Seattle, WA}, PAGES = {71--77} } @INPROCEEDINGS{SinzBlochingerKuechlin:01, AUTHOR = {Carsten Sinz and Wolfgang Blochinger and Wolfgang K{\"u}chlin}, TITLE = {{PaSAT} - Parallel {SAT}-Checking with Lemma Exchange: Implementation and Applications}, BOOKTITLE = {{LICS} 2001 Workshop on Theory and Applications of Satisfiability Testing ({SAT} 2001)}, SERIES = {Electronic Notes in Discrete Mathematics}, EDITOR = {Kautz, H. and Selman, B.}, VOLUME = 9, ADDRESS = {Boston, MA}, MONTH = JUN, YEAR = 2001, PUBLISHER = {Elsevier Science Publishers} } @INPROCEEDINGS{SinzKaiserKuechlin:01, AUTHOR = {Carsten Sinz and Andreas Kaiser and Wolfgang K{\"u}chlin}, TITLE = {Detection of Inconsistencies in Complex Product Model Data Using Extended Propositional {SAT}-Checking}, BOOKTITLE = {Proceedings of the 14th International {FLAIRS} Conference}, EDITOR = {Russell, I. and Kolen, J.}, PAGES = {645--649}, MONTH = MAY, YEAR = 2001, PUBLISHER = {AAAI Press}, ADDRESS = {Key West, FL} } @INPROCEEDINGS{SinzKaiserKuechlin:00, AUTHOR = {Carsten Sinz and Andreas Kaiser and Wolfgang K{\"u}chlin}, TITLE = {{SAT}-Based Consistency Checking of Automotive Electronic Product Data}, BOOKTITLE = {Configuration Workshop Proceedings, 14th European Conference on Artificial Intelligence ({ECAI}-2000)}, YEAR = 2000, MONTH = AUG, PAGES = {74--78}, ADDRESS = {Berlin, Germany} } @INPROCEEDINGS{Sinz:00, AUTHOR = {Carsten Sinz}, TITLE = {System Description: {ARA} - An Automatic Theorem Prover for Relation Algebras}, BOOKTITLE = {Automated Deduction {CADE-17}}, EDITOR = {McAllester, D.}, MONTH = JUN, YEAR = 2000, ADDRESS = {Pittsburgh, PA}, SERIES = {LNAI}, NUMBER = 1831, PAGES = {177--182}, PUBLISHER = {Springer-Verlag} } @INPROCEEDINGS{SchimkatBlochingerSinzFriedrichKuechlin:00, AUTHOR = {Ralf-Dieter Schimkat and Wolfgang Blochinger and Carsten Sinz and Michael Friedrich and Wolfgang K{\"u}chlin}, TITLE = {A Service-Based Agent Framework for Distributed Symbolic Computation}, BOOKTITLE = {Proc.\ 8th Intl.\ Conf.\ on High Performance Computing and Networking Europe, {HPCN} 2000}, EDITOR = {M. Bubak and R. Williams and H. Afsarmanesh and B. Hertzberger}, PUBLISHER = {Springer-Verlag}, SERIES = {LNCS}, NUMBER = 1823, ADDRESS = {Amsterdam, Netherlands}, MONTH = MAY, YEAR = 2000, PAGES = {644--656} } @INCOLLECTION{KuechlinSinz:00b, AUTHOR = {Wolfgang K{\"u}chlin and Carsten Sinz}, TITLE = {Proving Consistency Assertions for Automotive Product Data Management}, BOOKTITLE = {SAT2000 - Highlights of Satisfiability Research in the Year 2000}, EDITOR = {I. Gent and H. van Maaren and T. Walsh}, PUBLISHER = {IOS Press}, YEAR = {2000}, SERIES = {Frontiers in Artificial Intelligence and Applications}, VOLUME = 63, PAGES = {} } @ARTICLE{KuechlinSinz:00a, AUTHOR = {Wolfgang K{\"u}chlin and Carsten Sinz}, TITLE = {Proving Consistency Assertions for Automotive Product Data Management}, JOURNAL = {J.\ Automated Reasoning}, VOLUME = 24, NUMBER = {1--2}, MONTH = FEB, YEAR = 2000, PAGES = {145--163}, PUBLISHER = {Kluwer Academic Publishers} } @INPROCEEDINGS{BuendgenSinzWalter:96, AUTHOR = {Reinhard B{\"u}ndgen and Carsten Sinz and Jochen Walter}, TITLE = {{ReDuX} 1.5: New Facets of Rewriting}, BOOKTITLE = {Rewriting Techniques and Application {RTA-96}}, EDITOR = {Harald Ganzinger}, MONTH = JUL, YEAR = 1996, SERIES = {LNCS}, NUMBER = 1103, PAGES = {412--415}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New Brunswick, NJ} } @PHDTHESIS{Sinz:03, AUTHOR = {Carsten Sinz}, TITLE = {{V}erifikation regelbasierter {K}onfigurationssysteme}, SCHOOL = {Fakult{\"a}t f{\"u}r Informations- und Kognitionswissenschaften, Universit{\"a}t T{\"u}bingen}, MONTH = DEC, YEAR = 2003, ADDRESS = {T{\"u}bingen, Germany} } @MASTERSTHESIS{Sinz:97b, AUTHOR = {Carsten Sinz}, TITLE = {{B}aubarkeitspr{\"u}fung von {K}raftfahrzeugen durch automatisches {B}eweisen}, SCHOOL = {Universit{\"a}t T{\"u}bingen}, MONTH = DEC, YEAR = 1997, TYPE = {Diplomarbeit} } @MASTERSTHESIS{Sinz:97a, AUTHOR = {Carsten Sinz}, TITLE = {{U}ntersuchung und {I}mplementation der {R}eduktionskalk{\"u}le RPC$_n$}, SCHOOL = {Universit{\"a}t T{\"u}bingen}, MONTH = JUN, YEAR = 1997, TYPE = {Studienarbeit} }