Export 1 results:
[ Author(Desc)] Title Type Year
Filters: First Letter Of Title is R and Author is Gilles Audemard  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
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.