Searching for authors named "Gilles Audemard" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Gunsat: A greedy local search algorithm for unsatisfiability
- …GUNSAT: a Greedy Local Search Algorithm for Unsatisfiability Gilles Audemard ∗ Univ d’Artois, CRIL…
- Cited by 2 (0 self) – Add To MetaCart
-
Symmetry Infinite Models of First Order Logic
- …Symmetry in nite models of rst order logic Gilles Audemard and Belaid Benhamou Centre de…
- Add To MetaCart
-
Dealing with symmetries in quantified boolean formulas
- …Dealing with Symmetries in Quantified Boolean Formulas Gilles Audemard, Bertrand Mazure…
- Cited by 1 (1 self) – Add To MetaCart
-
A symbolic search based approach for quantified boolean formulas
- …A Symbolic Search Based Approach for Quantified Boolean Formulas Gilles Audemard and Lakhdar Saïs…
- Cited by 4 (0 self) – Add To MetaCart
-
Reasoning by symmetry and function ordering in finite model generation
- …Reasoning by Symmetry and Function Ordering in Finite Model Generation Gilles Audemard 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Lisa Syndrome Revisited
- …Experimenting with Small Changes in Conflict-Driven Clause-Learning Algorithms Gilles Audemard…
- Add To MetaCart
-
The eXtended Least Number Heuristic
- …The eXtended Least Number Heuristic Gilles Audemard and Laurent Henocque LSIS equipe INCA - LIM…
- Cited by 7 (3 self) – Add To MetaCart
-
Predicting Learnt Clauses Quality in Modern SAT Solvers ∗
- …Predicting Learnt Clauses Quality in Modern SAT Solvers ∗ Gilles Audemard Univ. Lille-Nord de…
- Add To MetaCart
-
Two techniques to improve Finite Model Search
- …Two techniques to improve Finite Model Search Gilles Audemard, Belaid Benhamou, and Laurent…
- Cited by 1 (0 self) – Add To MetaCart
-
Symmetry breaking in quantified boolean formulae
- …Symmetry Breaking in Quantified Boolean Formulae Gilles Audemard ∗ and Saïd Jabbour and Lakhdar…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
