Biblio

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is G and Author is Laurent Simon  [Clear All Filters]
2012
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.