Gilles Audemard
Gilles Audemard
Professor of Computer Science, CRIL, Université d'Artois
Email verificata su cril.fr - Home page
Titolo
Citata da
Citata da
Anno
Predicting learnt clauses quality in modern SAT solvers
G Audemard, L Simon
Twenty-first International Joint Conference on Artificial Intelligence, 2009
7152009
A SAT based approach for solving formulas over boolean and linear mathematical propositions
G Audemard, P Bertoli, A Cimatti, A Korniłowicz, R Sebastiani
International Conference on Automated Deduction, 195-210, 2002
2082002
Bounded model checking for timed systems
G Audemard, A Cimatti, A Kornilowicz, R Sebastiani
International Conference on Formal Techniques for Networked and Distributed …, 2002
1492002
Verifying industrial hybrid systems with MathSAT
G Audemard, M Bozzano, A Cimatti, R Sebastiani
Electronic Notes in Theoretical Computer Science 119 (2), 17-32, 2005
1312005
Improving glucose for incremental SAT solving with assumptions: Application to MUS extraction
G Audemard, JM Lagniez, L Simon
International conference on theory and applications of satisfiability …, 2013
1242013
Refining restarts strategies for SAT and UNSAT
G Audemard, L Simon
International Conference on Principles and Practice of Constraint …, 2012
1122012
On freezing and reactivating learnt clauses
G Audemard, JM Lagniez, B Mazure, L Sais
International Conference on Theory and Applications of Satisfiability …, 2011
802011
A generalized framework for conflict analysis
G Audemard, L Bordeaux, Y Hamadi, S Jabbour, L Sais
International conference on theory and applications of satisfiability …, 2008
782008
Lazy clause exchange policy for parallel SAT solvers
G Audemard, L Simon
International Conference on Theory and Applications of Satisfiability …, 2014
732014
On the Glucose SAT solver
G Audemard, L Simon
International Journal on Artificial Intelligence Tools 27 (01), 1840001, 2018
722018
Glucose: a solver that predicts learnt clauses quality
G Audemard, L Simon
SAT Competition, 7-8, 2009
682009
A Restriction of Extended Resolution for Clause Learning SAT Solvers.
G Audemard, G Katsirelos, L Simon
AAAI, 15-20, 2010
672010
Impact of community structure on SAT solver performance
Z Newsham, V Ganesh, S Fischmeister, G Audemard, L Simon
International Conference on Theory and Applications of Satisfiability …, 2014
652014
Glucose in the SAT 2014 Competition
G Audemard, L Simon
SAT COMPETITION 2014, 31, 2014
582014
Revisiting clause exchange in parallel SAT solving
G Audemard, B Hoessen, S Jabbour, JM Lagniez, C Piette
International Conference on Theory and Applications of Satisfiability …, 2012
512012
XCSP3: an integrated format for benchmarking combinatorial constrained problems
F Boussemart, C Lecoutre, G Audemard, C Piette
arXiv preprint arXiv:1611.03398, 2016
412016
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.
G Audemard, L Simon
IJCAI 7, 2256-2261, 2007
412007
Boosting Local Search Thanks to cdcl
G Audemard, JM Lagniez, B Mazure, L Saïs
International Conference on Logic for Programming Artificial Intelligence …, 2010
282010
GLUCOSE 2.1: aggressive-but reactive-clause database management, dynamic restarts
G Audemard, L Simon
262012
An adaptive parallel SAT solver
G Audemard, JM Lagniez, N Szczepanski, S Tabary
International Conference on Principles and Practice of Constraint …, 2016
232016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20