Award1024
Aus International Center for Computational Logic
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.
