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
6482009
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
1572006
The international SAT solver competitions
M Järvisalo, D Le Berre, O Roussel, L Simon
Ai Magazine 33 (1), 89-92, 2012
1402012
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
1072013
Refining restarts strategies for SAT and UNSAT
G Audemard, L Simon
International Conference on Principles and Practice of Constraint …, 2012
982012
The essentials of the SAT 2003 competition
D Le Berre, L Simon
Theory and Applications of Satisfiability Testing, 269-270, 2004
862004
Multi-resolution on compressed sets of clauses
P Chatalic, L Simon
Proceedings 12th IEEE Internationals Conference on Tools with Artificial …, 2000
832000
Efficient consequence finding
L Simon, A Del Val
IJCAI 1, 359-365, 2001
772001
The SAT2002 competition
L Simon, D Le Berre, EA Hirsch
Annals of Mathematics and Artificial Intelligence 43 (1-4), 307-342, 2005
682005
A restriction of extended resolution for clause learning SAT solvers
G Audemard, G Katsirelos, L Simon
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
652010
Fifty-five solvers in Vancouver: The SAT 2004 competition
D Le Berre, L Simon
International Conference on Theory and Applications of Satisfiability …, 2004
632004
Lazy clause exchange policy for parallel SAT solvers
G Audemard, L Simon
International Conference on Theory and Applications of Satisfiability …, 2014
602014
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
552003
ZRes: The Old Davis–Putnam Procedure Meets ZBDD
P Chatalic, L Simon
International Conference on Automated Deduction, 449-454, 2000
552000
Glucose: a solver that predicts learnt clauses quality
G Audemard, L Simon
SAT Competition, 7-8, 2009
532009
On the Glucose SAT solver
G Audemard, L Simon
International Journal on Artificial Intelligence Tools 27 (01), 1840001, 2018
492018
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
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
Somewhere in the semantic web
P Adjiman, P Chatalic, F Goasdoué, MC Rousset, L Simon
International workshop on principles and practice of semantic web reasoning …, 2005
402005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20