Biblio

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