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-2014 (19) 2016-2018 (4)
Publication types (Num. hits)
article(5) inproceedings(34)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords

Results
Found 40 publication records. Showing 39 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gilles Audemard, Laurent Simon On the Glucose SAT Solver. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary A Distributed Version of Syrup. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Laurent Simon Extreme Cases in SAT Problems. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary An Adaptive Parallel SAT Solver. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Armin Biere, Jean-Marie Lagniez, Laurent Simon Améliorer SAT dans le cadre incrémental. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette An Effective Distributed D&C Approach for the Satisfiability Problem. Search on Bibsonomy PDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette Dolius: A Distributed Parallel SAT Solving Framework. Search on Bibsonomy POS@SAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Gilles Audemard, Laurent Simon Lazy Clause Exchange Policy for Parallel SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon Impact of Community Structure on SAT Solver Performance. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Christophe Lecoutre, Mouny Samy Modeliar, Gilles Goncalves, Daniel Cosmin Porumbel Scoring-Based Neighborhood Dominance for the Subgraph Isomorphism Problem. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Laurent Simon Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Jean-Marie Lagniez, Laurent Simon Just-In-Time Compilation of Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette Revisiting Clause Exchange in Parallel SAT Solving. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Laurent Simon Refining Restarts Strategies for SAT and UNSAT. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
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, 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, Laurent Simon Predicting Learnt Clauses Quality in Modern SAT Solvers. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  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, Lakhdar Sais Circuit Based Encoding of CNF Formula. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  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, Laurent Simon GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  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, 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, 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 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, 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, Laurent Henocque The eXtended Least Number Heuristic. Search on Bibsonomy IJCAR The full citation details ... 2001 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
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
Displaying result #1 - #39 of 39 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license