default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Norbert Manthey
@inproceedings{DBLP:conf/sat/Manthey21,
author = {Norbert Manthey},
editor = {Chu{-}Min Li and
Felip Many{\`{a}}},
title = {The MergeSat Solver},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2021 - 24th
International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12831},
pages = {387--398},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80223-3\_27},
doi = {10.1007/978-3-030-80223-3\_27},
timestamp = {Wed, 21 Jul 2021 15:31:29 +0200},
biburl = {https://dblp.org/rec/conf/sat/Manthey21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/MantheyPR20,
author = {Norbert Manthey and
Rafael Pe{\~{n}}aloza and
Sebastian Rudolph},
title = {SATPin: Axiom Pinpointing for Lightweight Description Logics Through
Incremental {SAT}},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {3},
pages = {389--394},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00669-4},
doi = {10.1007/S13218-020-00669-4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/MantheyPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FichteMSS20,
author = {Johannes Klaus Fichte and
Norbert Manthey and
Julian Stecklina and
Andr{\'{e}} Schidler},
editor = {Helmut Simonis},
title = {Towards Faster Reasoners by Using Transparent Huge Pages},
booktitle = {Principles and Practice of Constraint Programming - 26th International
Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages = {304--322},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-58475-7\_18},
doi = {10.1007/978-3-030-58475-7\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/FichteMSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CookDKMPPTW20,
author = {Byron Cook and
Bj{\"{o}}rn D{\"{o}}bel and
Daniel Kroening and
Norbert Manthey and
Martin Pohlack and
Elizabeth Polgreen and
Michael Tautschnig and
Pawel Wieczorkiewicz},
title = {Using model checking tools to triage the severity of security bugs
in the Xen hypervisor},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {185--193},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_26},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_26},
timestamp = {Thu, 14 Jan 2021 08:55:22 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/CookDKMPPTW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14378,
author = {Johannes Klaus Fichte and
Norbert Manthey and
Julian Stecklina and
Andr{\'{e}} Schidler},
title = {Towards Faster Reasoners By Using Transparent Huge Pages},
journal = {CoRR},
volume = {abs/2004.14378},
year = {2020},
url = {https://arxiv.org/abs/2004.14378},
eprinttype = {arXiv},
eprint = {2004.14378},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-14378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MantheyP18,
author = {Norbert Manthey and
Tobias Philipp},
editor = {Daniel Le Berre and
Matti J{\"{a}}rvisalo},
title = {Checking Unsatisfiability Proofs in Parallel},
booktitle = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
series = {EPiC Series in Computing},
volume = {59},
pages = {34--49},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/8w4v},
doi = {10.29007/8W4V},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MantheyP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Manthey16,
author = {Norbert Manthey},
title = {Towards Next Generation Sequential and Parallel {SAT} Solvers},
journal = {K{\"{u}}nstliche Intell.},
volume = {30},
number = {3-4},
pages = {339--342},
year = {2016},
url = {https://doi.org/10.1007/s13218-015-0406-8},
doi = {10.1007/S13218-015-0406-8},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/Manthey16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/MantheyPR16,
author = {Norbert Manthey and
Rafael Pe{\~{n}}aloza and
Sebastian Rudolph},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Efficient Axiom Pinpointing in {EL} using {SAT} Technology},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_33.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/MantheyPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ArifMIMPM16,
author = {M. Fareed Arif and
Carlos Menc{\'{\i}}a and
Alexey Ignatiev and
Norbert Manthey and
Rafael Pe{\~{n}}aloza and
Jo{\~{a}}o Marques{-}Silva},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {{BEACON:} An Efficient SAT-Based Tool for Debugging \emph{EL}{\^{}}+
Ontologies},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {521--530},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_32},
doi = {10.1007/978-3-319-40970-2\_32},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/ArifMIMPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MantheyL16,
author = {Norbert Manthey and
Marius Lindauer},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {SpyBug: Automated Bug Detection in the Configuration Space of {SAT}
Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {554--561},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_36},
doi = {10.1007/978-3-319-40970-2\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MantheyL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Manthey15,
author = {Norbert Manthey},
title = {Towards Next Generation Sequential and Parallel {SAT} Solvers},
school = {Dresden University of Technology},
year = {2015},
url = {https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-158672},
urn = {urn:nbn:de:bsz:14-qucosa-158672},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Manthey15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Manthey15,
author = {Norbert Manthey},
title = {Towards next generation sequential and parallel {SAT} solvers},
journal = {Constraints An Int. J.},
volume = {20},
number = {4},
pages = {504--505},
year = {2015},
url = {https://doi.org/10.1007/s10601-015-9226-6},
doi = {10.1007/S10601-015-9226-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Manthey15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GagglMRWW15,
author = {Sarah Alice Gaggl and
Norbert Manthey and
Alessandro Ronca and
Johannes Peter Wallner and
Stefan Woltran},
title = {Improved answer-set programming encodings for abstract argumentation},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {434--448},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000149},
doi = {10.1017/S1471068415000149},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GagglMRWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/IserMS15,
author = {Markus Iser and
Norbert Manthey and
Carsten Sinz},
editor = {Marijn Heule and
Sean A. Weaver},
title = {Recognition of Nested Gates in {CNF} Formulas},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2015 - 18th
International Conference, Austin, TX, USA, September 24-27, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9340},
pages = {255--271},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24318-4\_19},
doi = {10.1007/978-3-319-24318-4\_19},
timestamp = {Tue, 21 May 2019 09:04:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/IserMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GagglMRWW15,
author = {Sarah Alice Gaggl and
Norbert Manthey and
Alessandro Ronca and
Johannes Peter Wallner and
Stefan Woltran},
title = {Improved Answer-Set Programming Encodings for Abstract Argumentation},
journal = {CoRR},
volume = {abs/1507.06689},
year = {2015},
url = {http://arxiv.org/abs/1507.06689},
eprinttype = {arXiv},
eprint = {1507.06689},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GagglMRWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Manthey14,
author = {Norbert Manthey},
editor = {Carsten Lutz and
Michael Thielscher},
title = {{CDCL} Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and
On-the-Fly Probing},
booktitle = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German
Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8736},
pages = {98--110},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11206-0\_11},
doi = {10.1007/978-3-319-11206-0\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Manthey14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MantheyP14,
author = {Norbert Manthey and
Tobias Philipp},
editor = {Carsten Lutz and
Michael Thielscher},
title = {Formula Simplifications as {DRAT} Derivations},
booktitle = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German
Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8736},
pages = {111--122},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11206-0\_12},
doi = {10.1007/978-3-319-11206-0\_12},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MantheyP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/MantheyPS14,
author = {Norbert Manthey and
Tobias Philipp and
Peter Steinke},
editor = {Carsten Lutz and
Michael Thielscher},
title = {A More Compact Translation of Pseudo-Boolean Constraints into {CNF}
Such That Generalized Arc Consistency Is Maintained},
booktitle = {{KI} 2014: Advances in Artificial Intelligence - 37th Annual German
Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8736},
pages = {123--134},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11206-0\_13},
doi = {10.1007/978-3-319-11206-0\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ki/MantheyPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleMP14,
author = {Marijn Heule and
Norbert Manthey and
Tobias Philipp},
editor = {Daniel Le Berre},
title = {Validating Unsatisfiability Results of Clause Sharing Parallel {SAT}
Solvers},
booktitle = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
July 13, 2014, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {27},
pages = {12--25},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/6vwg},
doi = {10.29007/6VWG},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HeuleMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AlfonsoM14,
author = {Enrique Matos Alfonso and
Norbert Manthey},
editor = {Daniel Le Berre},
title = {New {CNF} Features and Formula Classification},
booktitle = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
July 13, 2014, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {27},
pages = {57--71},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/b8t1},
doi = {10.29007/B8T1},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AlfonsoM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HolldoblerMPS14,
author = {Steffen H{\"{o}}lldobler and
Norbert Manthey and
Tobias Philipp and
Peter Steinke},
editor = {Daniel Le Berre},
title = {Generic {CDCL} - {A} Formalization of Modern Propositional Satisfiability
Solvers},
booktitle = {{POS-14.} Fifth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2014 conference, part of FLoC 2014 during the Vienna Summer of Logic,
July 13, 2014, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {27},
pages = {89--102},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/7n71},
doi = {10.29007/7N71},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HolldoblerMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereBLM14,
author = {Armin Biere and
Daniel Le Berre and
Emmanuel Lonca and
Norbert Manthey},
editor = {Carsten Sinz and
Uwe Egly},
title = {Detecting Cardinality Constraints in {CNF}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {285--301},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_22},
doi = {10.1007/978-3-319-09284-3\_22},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereBLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ysip/HolldoblerMPS14,
author = {Steffen H{\"{o}}lldobler and
Norbert Manthey and
Tobias Philipp and
Peter Steinke},
editor = {Steffen H{\"{o}}lldobler and
Andrey Malikov and
Christoph Wernhard},
title = {Generic {CDCL} - {A} Formalization of Modern Propositional Satisfiability
Solvers},
booktitle = {Proceedings of the Young Scientists' International Workshop on Trends
in Information Processing {(YSIP)} Co-located with the Sixth International
Conference on Infocommunicational Technologies in Science, Production
and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1145},
pages = {25--34},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1145/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:30 +0100},
biburl = {https://dblp.org/rec/conf/ysip/HolldoblerMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/gi/Manthey14,
author = {Norbert Manthey},
editor = {Abraham Bernstein and
Wolfgang Effelsberg and
Felix C. Freiling and
Steffen H{\"{o}}lldobler and
Hans{-}Peter Lenhof and
Paul Molitor and
Gustaf Neumann and
R{\"{u}}diger Reischuk and
Nicole Schweikardt and
Myra Spiliopoulou and
Harald St{\"{o}}rrle and
Sabine S{\"{u}}sstrunk},
title = {Modernes sequentielles und paralleles {SAT} Solving},
booktitle = {Ausgezeichnete Informatikdissertationen 2014},
series = {{LNI}},
volume = {{D-15}},
pages = {181--190},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/33837},
timestamp = {Tue, 04 Jul 2023 17:44:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/Manthey14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/GebhardtM13,
author = {Kilian Gebhardt and
Norbert Manthey},
editor = {Ingo J. Timm and
Matthias Thimm},
title = {Parallel Variable Elimination on {CNF} Formulas},
booktitle = {{KI} 2013: Advances in Artificial Intelligence - 36th Annual German
Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8077},
pages = {61--73},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40942-4\_6},
doi = {10.1007/978-3-642-40942-4\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/GebhardtM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lion/LantiM13,
author = {Davide Lanti and
Norbert Manthey},
editor = {Giuseppe Nicosia and
Panos M. Pardalos},
title = {Sharing Information in Parallel Search with Search Space Partitioning},
booktitle = {Learning and Intelligent Optimization - 7th International Conference,
{LION} 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7997},
pages = {52--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-44973-4\_6},
doi = {10.1007/978-3-642-44973-4\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lion/LantiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KlebanovMM13,
author = {Vladimir Klebanov and
Norbert Manthey and
Christian J. Muise},
editor = {Kaustubh R. Joshi and
Markus Siegle and
Mari{\"{e}}lle Stoelinga and
Pedro R. D'Argenio},
title = {SAT-Based Analysis and Quantification of Information Flow in Programs},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference,
{QEST} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8054},
pages = {177--192},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40196-1\_16},
doi = {10.1007/978-3-642-40196-1\_16},
timestamp = {Sat, 30 Sep 2023 09:55:03 +0200},
biburl = {https://dblp.org/rec/conf/qest/KlebanovMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BalintM13,
author = {Adrian Balint and
Norbert Manthey},
editor = {Daniel Le Berre},
title = {Boosting the Performance of {SLS} and {CDCL} Solvers by Preprocessor
Tuning},
booktitle = {{POS-13.} Fourth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2013 conference, July 7, 2013, Helsinki, Finland},
series = {EPiC Series in Computing},
volume = {29},
pages = {1--14},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/28ww},
doi = {10.29007/28WW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BalintM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MantheyPW13,
author = {Norbert Manthey and
Tobias Philipp and
Christoph Wernhard},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Soundness of Inprocessing in Clause Sharing {SAT} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {22--39},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_4},
doi = {10.1007/978-3-642-39071-5\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/MantheyPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MantheyLI13,
author = {Norbert Manthey and
Davide Lanti and
Ahmed Irfan},
editor = {Daniel Le Berre},
title = {Modern Cooperative Parallel {SAT} Solving},
booktitle = {{POS-13.} Fourth Pragmatics of {SAT} workshop, a workshop of the {SAT}
2013 conference, July 7, 2013, Helsinki, Finland},
series = {EPiC Series in Computing},
volume = {29},
pages = {41--54},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/jnvf},
doi = {10.29007/JNVF},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MantheyLI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BelovMM13,
author = {Anton Belov and
Norbert Manthey and
Jo{\~{a}}o Marques{-}Silva},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Parallel {MUS} Extraction},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {133--149},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_11},
doi = {10.1007/978-3-642-39071-5\_11},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/BelovMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/MantheyHB12,
author = {Norbert Manthey and
Marijn Heule and
Armin Biere},
editor = {Armin Biere and
Amir Nahir and
Tanja E. J. Vos},
title = {Automated Reencoding of Boolean Formulas},
booktitle = {Hardware and Software: Verification and Testing - 8th International
Haifa Verification Conference, {HVC} 2012, Haifa, Israel, November
6-8, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7857},
pages = {102--117},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-39611-3\_14},
doi = {10.1007/978-3-642-39611-3\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/MantheyHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/GrossmannHMNOS12,
author = {Peter Gro{\ss}mann and
Steffen H{\"{o}}lldobler and
Norbert Manthey and
Karl Nachtigall and
Jens Opitz and
Peter Steinke},
editor = {He Jiang and
Wei Ding and
Moonis Ali and
Xindong Wu},
title = {Solving Periodic Event Scheduling Problems with {SAT}},
booktitle = {Advanced Research in Applied Artificial Intelligence - 25th International
Conference on Industrial Engineering and Other Applications of Applied
Intelligent Systems, {IEA/AIE} 2012, Dalian, China, June 9-12, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7345},
pages = {166--175},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31087-4\_18},
doi = {10.1007/978-3-642-31087-4\_18},
timestamp = {Sat, 09 Apr 2022 12:40:54 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/GrossmannHMNOS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/HolldoblerMS12,
author = {Steffen H{\"{o}}lldobler and
Norbert Manthey and
Peter Steinke},
editor = {Birte Glimm and
Antonio Kr{\"{u}}ger},
title = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
booktitle = {{KI} 2012: Advances in Artificial Intelligence - 35th Annual German
Conference on AI, Saarbr{\"{u}}cken, Germany, September 24-27,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7526},
pages = {107--118},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33347-7\_10},
doi = {10.1007/978-3-642-33347-7\_10},
timestamp = {Sat, 30 Sep 2023 09:51:50 +0200},
biburl = {https://dblp.org/rec/conf/ki/HolldoblerMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HyvarinenM12,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Norbert Manthey},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Designing Scalable Parallel {SAT} Solvers},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {214--227},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_17},
doi = {10.1007/978-3-642-31612-8\_17},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HyvarinenM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Manthey12,
author = {Norbert Manthey},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Coprocessor 2.0 - {A} Flexible {CNF} Simplifier - (Tool Presentation)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {436--441},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_34},
doi = {10.1007/978-3-642-31612-8\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Manthey12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Manthey11,
author = {Norbert Manthey},
editor = {Hans Tompits and
Salvador Abreu and
Johannes Oetsch and
J{\"{o}}rg P{\"{u}}hrer and
Dietmar Seipel and
Masanobu Umeda and
Armin Wolf},
title = {Coprocessor - a Standalone {SAT} Preprocessor},
booktitle = {Applications of Declarative Programming and Knowledge Management -
19th International Conference, {INAP} 2011, and 25th Workshop on Logic
Programming, {WLP} 2011, Vienna, Austria, September 28-30, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7773},
pages = {297--304},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-41524-1\_18},
doi = {10.1007/978-3-642-41524-1\_18},
timestamp = {Sun, 02 Jun 2019 21:27:34 +0200},
biburl = {https://dblp.org/rec/conf/inap/Manthey11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-6208,
author = {Norbert Manthey},
title = {Coprocessor - a Standalone {SAT} Preprocessor},
journal = {CoRR},
volume = {abs/1108.6208},
year = {2011},
url = {http://arxiv.org/abs/1108.6208},
eprinttype = {arXiv},
eprint = {1108.6208},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-6208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HolldoblerMS10,
author = {Steffen H{\"{o}}lldobler and
Norbert Manthey and
Ari Saptawijaya},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Improving Resource-Unaware {SAT} Solvers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {519--534},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_37},
doi = {10.1007/978-3-642-16242-8\_37},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HolldoblerMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MantheyS10,
author = {Norbert Manthey and
Ari Saptawijaya},
editor = {Daniel Le Berre},
title = {Towards Improving the Resource Usage of SAT-solvers},
booktitle = {{POS-10.} Pragmatics of SAT, Edinburgh, UK, July 10, 2010},
series = {EPiC Series in Computing},
volume = {8},
pages = {28--40},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/3vwv},
doi = {10.29007/3VWV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/MantheyS10.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.
last updated on 2024-05-08 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
