BibTeX records: Christoph Zengler

download as .bib file

@phdthesis{DBLP:phd/basesearch/Zengler14,
  author       = {Christoph Zengler},
  title        = {New Formal Methods for Automotive Configuration},
  school       = {T{\"{u}}bingen University, Germany},
  year         = {2014},
  url          = {http://hdl.handle.net/10900/57198},
  urn          = {urn:nbn:de:bsz:21-dspace-571984},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Zengler14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/hhl/KamareddineWZB14,
  author       = {Fairouz Kamareddine and
                  Joe B. Wells and
                  Christoph Zengler and
                  Henk Barendregt},
  editor       = {J{\"{o}}rg H. Siekmann},
  title        = {Computerising Mathematical Text},
  booktitle    = {Computational Logic},
  series       = {Handbook of the History of Logic},
  volume       = {9},
  pages        = {343--396},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/B978-0-444-51624-4.50008-3},
  doi          = {10.1016/B978-0-444-51624-4.50008-3},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/hhl/KamareddineWZB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/confws/WalterZK13,
  author       = {Rouven Walter and
                  Christoph Zengler and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Michel Aldanondo and
                  Andreas A. Falkner},
  title        = {Applications of MaxSAT in Automotive Configuration},
  booktitle    = {Proceedings of the 15th International Configuration Workshop, Vienna,
                  Austria, August 29-30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1128},
  pages        = {21--28},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1128/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/confws/WalterZK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmics/ZenglerK13,
  author       = {Christoph Zengler and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Boolean Quantifier Elimination for Automotive Configuration - {A}
                  Case Study},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {48--62},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_4},
  doi          = {10.1007/978-3-642-41010-9\_4},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/ZenglerK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/confws/MatthesZK12,
  author       = {Benjamin Matthes and
                  Christoph Zengler and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Wolfgang Mayer and
                  Patrick Albert},
  title        = {An Improved Constraint Ordering Heuristics for Compiling Configuration
                  Problems},
  booktitle    = {Proceedings of the Workshop on Configuration at {ECAI} 2012, Montpellier,
                  France, August 27, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {958},
  pages        = {36--40},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-958/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/confws/MatthesZK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cca/ZenglerKK11,
  author       = {Christoph Zengler and
                  Andreas K{\"{u}}bler and
                  Wolfgang K{\"{u}}chlin},
  title        = {New approaches to boolean quantifier elimination},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {45},
  number       = {1/2},
  pages        = {139--140},
  year         = {2011},
  url          = {https://doi.org/10.1145/2016567.2016595},
  doi          = {10.1145/2016567.2016595},
  timestamp    = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cca/ZenglerKK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/cca/ZenglerK11,
  author       = {Christoph Zengler and
                  Wolfgang K{\"{u}}chlin},
  title        = {Boolean Gr{\"{o}}bner bases in {SAT} solving},
  journal      = {{ACM} Commun. Comput. Algebra},
  volume       = {45},
  number       = {1/2},
  pages        = {141--142},
  year         = {2011},
  url          = {https://doi.org/10.1145/2016567.2016596},
  doi          = {10.1145/2016567.2016596},
  timestamp    = {Wed, 04 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cca/ZenglerK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/adg/2008,
  editor       = {Thomas Sturm and
                  Christoph Zengler},
  title        = {Automated Deduction in Geometry - 7th International Workshop, {ADG}
                  2008, Shanghai, China, September 22-24, 2008. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6301},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21046-4},
  doi          = {10.1007/978-3-642-21046-4},
  isbn         = {978-3-642-21045-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adg/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/casc/ZenglerK10,
  author       = {Christoph Zengler and
                  Wolfgang K{\"{u}}chlin},
  editor       = {Vladimir P. Gerdt and
                  Wolfram Koepf and
                  Ernst W. Mayr and
                  Evgenii V. Vorozhtsov},
  title        = {Extending Clause Learning of {SAT} Solvers with Boolean Gr{\"{o}}bner
                  Bases},
  booktitle    = {Computer Algebra in Scientific Computing - 12th International Workshop,
                  {CASC} 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6244},
  pages        = {293--302},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15274-0\_26},
  doi          = {10.1007/978-3-642-15274-0\_26},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/casc/ZenglerK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/SturmZ10,
  author       = {Thomas Sturm and
                  Christoph Zengler},
  editor       = {Wolfram Koepf},
  title        = {Parametric quantified {SAT} solving},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
                  2010, Munich, Germany, July 25-28, 2010, Proceedings},
  pages        = {77--84},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1837934.1837954},
  doi          = {10.1145/1837934.1837954},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/SturmZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1007-1024,
  author       = {Andreas K{\"{u}}bler and
                  Christoph Zengler and
                  Wolfgang K{\"{u}}chlin},
  editor       = {In{\^{e}}s Lynce and
                  Ralf Treinen},
  title        = {Model Counting in Product Configuration},
  booktitle    = {Proceedings First International Workshop on Logics for Component Configuration,
                  LoCoCo 2010, Edinburgh, UK, 10th July 2010},
  series       = {{EPTCS}},
  volume       = {29},
  pages        = {44--53},
  year         = {2010},
  url          = {https://doi.org/10.4204/EPTCS.29.5},
  doi          = {10.4204/EPTCS.29.5},
  timestamp    = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1007-1024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.