Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is G and Author is Gilles Audemard  [Clear All Filters]
G. Audemard and Simon, L., Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts, in Proc. of International Workshop of Pragmatics of SAT (Affiliated to SAT), Trento, Italie, 2012.