Biblio

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is I and Author is Jean-Marie Lagniez  [Clear All Filters]
2013
G. Audemard, Lagniez, J. - M., and Simon, L., Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction, in Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finlande, 2013.