BibTeX records: Timon Hertli

• > Home > Timon Hertli

@inproceedings{DBLP:conf/cp/HertliHMMSS16,
  author    = {Timon Hertli and
               Isabelle Hurbain and
               Sebastian Millius and
               Robin A. Moser and
               Dominik Scheder and
               May Szedl{\'{a}}k},
  editor    = {Michel Rueher},
  title     = {The {PPSZ} Algorithm for Constraint Satisfaction Problems on More
               Than Two Colors},
  booktitle = {Principles and Practice of Constraint Programming - 22nd International
               Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9892},
  pages     = {421--437},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-44953-1\_27},
  doi       = {10.1007/978-3-319-44953-1\_27},
  timestamp = {Tue, 14 May 2019 10:00:45 +0200},
  biburl    = {https://dblp.org/rec/conf/cp/HertliHMMSS16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/algo/Hertli16,
  author    = {Timon Hertli},
  title     = {Unique \emph{k}-SAT and General \emph{k}-SAT},
  booktitle = {Encyclopedia of Algorithms},
  pages     = {2301--2304},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-1-4939-2864-4\_680},
  doi       = {10.1007/978-1-4939-2864-4\_680},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/reference/algo/Hertli16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamcomp/Hertli14,
  author    = {Timon Hertli},
  title     = {3-SAT Faster and Simpler - Unique-SAT Bounds for {PPSZ} Hold in General},
  journal   = {{SIAM} J. Comput.},
  volume    = {43},
  number    = {2},
  pages     = {718--729},
  year      = {2014},
  url       = {https://doi.org/10.1137/120868177},
  doi       = {10.1137/120868177},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/siamcomp/Hertli14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Hertli14,
  author    = {Timon Hertli},
  editor    = {Javier Esparza and
               Pierre Fraigniaud and
               Thore Husfeldt and
               Elias Koutsoupias},
  title     = {Breaking the {PPSZ} Barrier for Unique 3-SAT},
  booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
               {ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8572},
  pages     = {600--611},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43948-7\_50},
  doi       = {10.1007/978-3-662-43948-7\_50},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/Hertli14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Hertli13,
  author    = {Timon Hertli},
  title     = {Breaking the {PPSZ} Barrier for Unique 3-SAT},
  journal   = {CoRR},
  volume    = {abs/1311.2513},
  year      = {2013},
  url       = {http://arxiv.org/abs/1311.2513},
  archivePrefix = {arXiv},
  eprint    = {1311.2513},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/Hertli13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/focs/Hertli11,
  author    = {Timon Hertli},
  editor    = {Rafail Ostrovsky},
  title     = {3-SAT Faster and Simpler - Unique-SAT Bounds for {PPSZ} Hold in General},
  booktitle = {{IEEE} 52nd Annual Symposium on Foundations of Computer Science, {FOCS}
               2011, Palm Springs, CA, USA, October 22-25, 2011},
  pages     = {277--284},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/FOCS.2011.22},
  doi       = {10.1109/FOCS.2011.22},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/focs/Hertli11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/HertliMS11,
  author    = {Timon Hertli and
               Robin A. Moser and
               Dominik Scheder},
  editor    = {Thomas Schwentick and
               Christoph D{\"{u}}rr},
  title     = {Improving {PPSZ} for 3-SAT using Critical Variables},
  booktitle = {28th International Symposium on Theoretical Aspects of Computer Science,
               {STACS} 2011, March 10-12, 2011, Dortmund, Germany},
  series    = {LIPIcs},
  volume    = {9},
  pages     = {237--248},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2011},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2011.237},
  doi       = {10.4230/LIPIcs.STACS.2011.237},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/stacs/HertliMS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1103-2165,
  author    = {Timon Hertli},
  title     = {3-SAT Faster and Simpler - Unique-SAT Bounds for {PPSZ} Hold in General},
  journal   = {CoRR},
  volume    = {abs/1103.2165},
  year      = {2011},
  url       = {http://arxiv.org/abs/1103.2165},
  archivePrefix = {arXiv},
  eprint    = {1103.2165},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1103-2165.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1009-4830,
  author    = {Timon Hertli and
               Robin A. Moser and
               Dominik Scheder},
  title     = {Improving {PPSZ} for 3-SAT using Crtitical Variables},
  journal   = {CoRR},
  volume    = {abs/1009.4830},
  year      = {2010},
  url       = {http://arxiv.org/abs/1009.4830},
  archivePrefix = {arXiv},
  eprint    = {1009.4830},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1009-4830.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}