BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Simon:Laurent

Facilitated 1 volumes:

SAT 2011Ed

Contributed to:

SAT 20152015
SAT 20142014
SAT 20132013
SAT 20042005
SAT 20032003
SAT 20012001
CADE 20002000
OOPSLA 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.