Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gilles Audemard" ( http://dblp.L3S.de/Authors/Gilles_Audemard )

  Author page on DBLP  Author page in RDF  Community of Gilles Audemard in ASPL-2

Publication years (Num. hits)
2000-2007 (16) 2008-2011 (9)
Publication types (Num. hits)
article(3) inproceedings(22)
Venues (Conferences, Journals, ...)
SAT(5) CADE(3) IJCAI(3) ICTAI(2) AAAI(1) AISC(1) Computational Logic(1) CP(1) Electr. Notes Theor. Comput. S...(1) FORTE(1) IJCAR(1) J. Algorithms(1) J. Autom. Reasoning(1) JFPLC(1) LPAR (Yogyakarta)(1) LSCS(1)
Authors
Gilles Audemard(25) Lakhdar Sais(11) Belaid Benhamou(5) Bertrand Mazure(5) Alessandro Cimatti(4) Jean-Marie Lagniez(4) Laurent Simon(4) Roberto Sebastiani(4) Artur Kornilowicz(3) Laurent Henocque(3) Saïd Jabbour(3) Piergiorgio Bertoli(2) George Katsirelos(1) Lucas Bordeaux(1) Marco Bozzano(1) Pierre Siegel(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords
Results
Found 25 publication records. Showing 25 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais On Freezing and Reactivating Learnt Clauses. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais Boosting Local Search Thanks to cdcl. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, George Katsirelos, Laurent Simon A Restriction of Extended Resolution for Clause Learning SAT Solvers. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais Integrating Conflict Driven Clause Learning to Local Search Search on Bibsonomy LSCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Laurent Simon Predicting Learnt Clauses Quality in Modern SAT Solvers. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais Learning in Local Search. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Saïd Jabbour, Lakhdar Sais SAT graph-based representation: A new perspective. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais A Generalized Framework for Conflict Analysis. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Laurent Simon Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Laurent Simon GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Gilles Audemard, Saïd Jabbour, Lakhdar Sais Symmetry Breaking in Quantified Boolean Formulae. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Gilles Audemard, Lakhdar Sais Circuit Based Encoding of CNF Formula. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Belaid Benhamou, Laurent Henocque Predicting and Detecting Symmetries in FOL Finite Model Search. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2006 DBLP  DOI  BibTeX  RDF symmetry, constraint programming, finite models
1Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani Verifying Industrial Hybrid Systems with MathSAT. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Lakhdar Sais A Symbolic Search Based Approach for Quantified Boolean Formulas. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Satisfiability, Binary decision diagram, Quantified boolean formula
1Gilles Audemard, Bertrand Mazure, Lakhdar Sais Dealing with Symmetries in Quantified Boolean Formulas. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Gilles Audemard, Lakhdar Sais SAT Based BDD Solver for Quantified Boolean Formulas. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani Bounded Model Checking for Timed Systems. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Belaid Benhamou Reasoning by Symmetry and Function Ordering in Finite Model Generation. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, Roberto Sebastiani Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements. Search on Bibsonomy AISC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Laurent Henocque The eXtended Least Number Heuristic. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Belaid Benhamou Etude des symétries dans les modèles finis. Search on Bibsonomy JFPLC The full citation details ... 2001 DBLP  BibTeX  RDF
1Gilles Audemard, Belaid Benhamou, Laurent Henocque Two Techniques to Improve Finite Model Search. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Belaid Benhamou, Pierre Siegel AVAL: An Enumerative Method for SAT. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF satisfiability, enumeration, deduction
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.