Export 1 results:
Author Title Type [ Year(Desc)]
Filters: First Letter Of Title is R and Author is George Katsirelos  [Clear All Filters]
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.