@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}
}