Award1024: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sibylle Möhle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Beschreibung EN=Norbert Manthey, Tobias Philipp and Christoph Wernhard received the SAT 2013 Best Paper Award for their paper "Soundness of Inprocessing in Clause Sharing SAT Solvers", which was presented at the SAT, the leading international conference on theory and applications of satisfiability testing. | |Beschreibung EN=Norbert Manthey, Tobias Philipp and Christoph Wernhard received the SAT 2013 Best Paper Award for their paper "Soundness of Inprocessing in Clause Sharing SAT Solvers", which was presented at the SAT, the leading international conference on theory and applications of satisfiability testing. | ||
For more information, please click the [http://sat2013.cs.helsinki.fi/ conference web page], the [http://link.springer.com/book/10.1007/978-3-642-39071-5/page/1 proceedings web page] or the [http://link.springer.com/chapter/10.1007/978-3-642-39071-5_4 paper]. | For more information, please click the [http://sat2013.cs.helsinki.fi/ conference web page], the [http://link.springer.com/book/10.1007/978-3-642-39071-5/page/1 proceedings web page] or the [http://link.springer.com/chapter/10.1007/978-3-642-39071-5_4 paper]. | ||
|Person=Tobias Philipp | |Person=Norbert Manthey, Tobias Philipp, Christoph Wernhard, | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
|Year=2013 | |Year=2013 | ||
}} | }} | ||
Aktuelle Version vom 1. September 2016, 06:50 Uhr
SAT 2013 Best Paper Award
Norbert Manthey, Tobias Philipp and Christoph Wernhard received the SAT 2013 Best Paper Award for their paper "Soundness of Inprocessing in Clause Sharing SAT Solvers", which was presented at the SAT, the leading international conference on theory and applications of satisfiability testing. For more information, please click the conference web page, the proceedings web page or the paper.
