Mon, 31.03.2014
The paper "Conditional Lower Bounds for Failed Literals and Related Techniques" by Matti Järvisalo and Janne H. Korhonen has been accepted for publications in the proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014).
Last updated on 1 Apr 2014 by Matti Järvisalo - Page created on 31 Mar 2014 by Matti Järvisalo