Export 3 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is R and Author is Laurent Simon  [Clear All Filters]
G. Audemard and Simon, L., Refining restarts strategies for SAT and UNSAT formulae, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 118-126.
L. Simon, Audemard, G., and Katsirelos, G., A Restriction of Extended Resolution for Clause Learning SAT Solvers, in Proc. of American Association of Artificial Intelligence Conference (AAAI), Atlanta United States, 2010.