Travelled to:1 × Austria
1 × Canada
1 × Finland
1 × Italy
3 × USA
Collaborated with:D.L.Berre G.Audemard P.Chatalic A.Tacchella J.Lagniez C.Ansótegui J.Giráldez-Cru J.Levy M.Narizzano Z.Newsham V.Ganesh S.Fischmeister R.Padhye C.Lemieux K.Sen Hayawardh Vijayakumar
Talks about:sat (8) solver (5) qbf (3) communiti (2) structur (2) competit (2) evalu (2) claus (2) fuzz (2) experiment (1)
Person: Laurent Simon
DBLP: Simon:Laurent
Facilitated 1 volumes:
EdContributed to:
201520142013200520032001
2000
2019Wrote 12 papers:
- SAT-2015-AnsoteguiGLS #community #detection #using
- Using Community Structure to Detect Relevant Learnt Clauses (CA, JGC, JL, LS), pp. 238–254.
- SAT-2014-AudemardS #lazy evaluation #parallel #policy #satisfiability
- Lazy Clause Exchange Policy for Parallel SAT Solvers (GA, LS), pp. 197–205.
- SAT-2014-NewshamGFAS #community #performance #satisfiability
- Impact of Community Structure on SAT Solver Performance (ZN, VG, SF, GA, LS), pp. 252–268.
- SAT-2013-AudemardLS #incremental #satisfiability
- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction (GA, JML, LS), pp. 309–317.
- SAT-J-2004-BerreNST05 #comparative #evaluation
- The Second QBF Solvers Comparative Evaluation (DLB, MN, LS, AT), pp. 376–392.
- SAT-J-2004-BerreS05 #contest #satisfiability
- Fifty-Five Solvers in Vancouver: The SAT 2004 Competition (DLB, LS), pp. 321–344.
- SAT-2003-BerreS #contest #satisfiability
- The Essentials of the SAT 2003 Competition (DLB, LS), pp. 452–467.
- SAT-2003-BerreST #challenge #evaluation #satisfiability
- Challenges in the QBF Arena: the SAT’03 Evaluation of QBF Solvers (DLB, LS, AT), pp. 468–485.
- SAT-2001-SimonC #framework #named #satisfiability
- SatEx: A Web-based Framework for SAT Experimentation (LS, PC), pp. 129–149.
- CADE-2000-ChatalicS #named
- ZRES: The Old Davis-Putman Procedure Meets ZBDD (PC, LS), pp. 449–454.
- OOPSLA-2019-PadhyeLSSV #fuzzing #named
- FuzzFactory: domain-specific fuzzing with waypoints (RP, CL, KS, LS, HV), p. 29.