Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

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.