Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Laurent Simon

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Gilles Audemard

> Home > Persons > Laurent Simon

Publications

2020
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardPS20
Gilles Audemard, Loïc Paulevé, Laurent Simon:
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. SAT 2020: 107-113
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-01503
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-01503
Gilles Audemard, Loïc Paulevé, Laurent Simon:
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers. CoRR abs/2006.01503 (2020)
2018
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/AudemardS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/AudemardS18
Gilles Audemard, Laurent Simon:
On the Glucose SAT Solver. Int. J. Artif. Intell. Tools 27(1): 1840001:1-1840001:25 (2018)
2016
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardS16
Gilles Audemard, Laurent Simon:
Extreme Cases in SAT Problems. SAT 2016: 87-103
2014
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/ria/AudemardBLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ria/AudemardBLS14
Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon:
Améliorer SAT dans le cadre incrémental. Rev. d'Intelligence Artif. 28(5): 593-614 (2014)
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardS14
Gilles Audemard, Laurent Simon:
Lazy Clause Exchange Policy for Parallel SAT Solvers. SAT 2014: 197-205
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NewshamGFAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NewshamGFAS14
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon:
Impact of Community Structure on SAT Solver Performance. SAT 2014: 252-268
2013
[c29]
- view
- export record
  dblp key:
  - conf/ijcai/AudemardLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardLS13
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon:
Just-In-Time Compilation of Knowledge Bases. IJCAI 2013: 447-453
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardLS13
Gilles Audemard, Jean-Marie Lagniez, Laurent Simon:
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. SAT 2013: 309-317
2012
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AudemardS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AudemardS12
Gilles Audemard, Laurent Simon:
Refining Restarts Strategies for SAT and UNSAT. CP 2012: 118-126
2010
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/AudemardKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AudemardKS10
Gilles Audemard, George Katsirelos, Laurent Simon:
A Restriction of Extended Resolution for Clause Learning SAT Solvers. AAAI 2010: 15-20
2009
[c21]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AudemardS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardS09
Gilles Audemard, Laurent Simon:
Predicting Learnt Clauses Quality in Modern SAT Solvers. IJCAI 2009: 399-404
2008
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AudemardS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AudemardS08
Gilles Audemard, Laurent Simon:
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. CP 2008: 630-634
2007
[c17]
- view
  - electronic edition @ ijcai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ijcai/AudemardS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/AudemardS07
Gilles Audemard, Laurent Simon:
GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. IJCAI 2007: 2256-2261

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.