Laurent Simon
Laurent Simon
Professor of Computer Science, Bordeaux University, France (since 2013)
Dirección de correo verificada de labri.fr - Página principal
TítuloCitado porAño
Predicting learnt clauses quality in modern SAT solvers
G Audemard, L Simon
Proceedings of the 21st international jont conference on Artifical …, 2009
6422009
Distributed reasoning in a peer-to-peer setting: Application to the semantic web
P Adjiman, P Chatalic, F Goasdoué, MC Rousset, L Simon
Journal of Artificial Intelligence Research 25, 269-314, 2006
1562006
The international SAT solver competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
Ai Magazine 33 (1), 89-92, 2012
1342012
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
1032013
Refining restarts strategies for SAT and UNSAT
G Audemard, L Simon
International Conference on Principles and Practice of Constraint …, 2012
1002012
The essentials of the SAT 2003 competition
D Le Berre, L Simon
Theory and Applications of Satisfiability Testing, 269-270, 2004
872004
Multi-resolution on compressed sets of clauses
P Chatalic, L Simon
Proceedings 12th IEEE Internationals Conference on Tools with Artificial …, 2000
802000
Efficient consequence finding
L Simon, A Del Val
IJCAI 1, 359-365, 2001
772001
A restriction of extended resolution for clause learning SAT solvers
G Audemard, G Katsirelos, L Simon
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
662010
The SAT2002 competition
L Simon, D Le Berre, EA Hirsch
Annals of Mathematics and Artificial Intelligence 43 (1-4), 307-342, 2005
652005
Fifty-five solvers in Vancouver: The SAT 2004 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2004
602004
Lazy clause exchange policy for parallel SAT solvers
G Audemard, L Simon
International Conference on Theory and Applications of Satisfiability …, 2014
582014
Challenges in the QBF arena: the SAT’03 evaluation of QBF solvers
D Le Berre, L Simon, A Tacchella
International Conference on Theory and Applications of Satisfiability …, 2003
542003
ZRes: the old Davis–Putnam procedure meets ZBDD
P Chatalic, L Simon
International Conference on Automated Deduction, 449-454, 2000
542000
GLUCOSE: a solver that predicts learnt clauses quality
G Audemard, L Simon
SAT Competition, 7-8, 2009
532009
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
492014
On the glucose sat solver
G Audemard, L Simon
International Journal on Artificial Intelligence Tools 27 (01), 1840001, 2018
452018
Distributed reasoning in a peer-to-peer setting
P Adjiman, P Chatalic, F Goasdoué, MC Rousset, L Simon
ECAI 16, 945, 2004
452004
Optimizing with minimum satisfiability
CM Li, Z Zhu, F Manyà, L Simon
Artificial Intelligence 190, 32-44, 2012
402012
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability.
G Audemard, L Simon
IJCAI 7, 2256-2261, 2007
402007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20