Gilles Audemard

Gilles Audemard

Université d'Artois - Arras / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4991161
University of Artois
person_outline Gilles Audemard's MOST POPULAR ARTICLES
1-) Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI 9, 399-404, 2009
2-) On the glucose SAT solver International Journal on Artificial Intelligence Tools 27 (01), 1840001, 2018
3-) A SAT based approach for solving formulas over boolean and linear mathematical propositions International Conference on Automated Deduction, 195-210, 2002
4-) Improving glucose for incremental SAT solving with assumptions: Application to MUS extraction International conference on theory and applications of satisfiability …, 2013
5-) Bounded model checking for timed systems International Conference on Formal Techniques for Networked and Distributed …, 2002