Award1024: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Serge Stratan (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Award |Titel DE=SAT 2013 Best Paper Award |Titel EN=SAT 2013 Best Paper Award |Beschreibung DE=Norbert Manthey, Tobias Philipp and Christoph Wernhard receive…“) |
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= | |Person=Tobias Philipp | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
|Year=2013 | |Year=2013 | ||
}} | }} | ||
Version vom 1. September 2016, 06:49 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.
