The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bertrand Mazure: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Tabu Search for SAT. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1997, pp:281-285 [Conf]
  2. Éric Grégoire, Bertrand Mazure, Lakhdar Sais
    Using Failed Local Search for SAT as an Oracle for Tackling Harder A.I. Problems More Efficiently. [Citation Graph (0, 0)][DBLP]
    AIMSA, 2002, pp:51-60 [Conf]
  3. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    System Description: CRIL Platform for SAT. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:124-128 [Conf]
  4. Sylvain Darras, Gilles Dequen, Laure Devendeville, Bertrand Mazure, Richard Ostrowski, Lakhdar Sais
    Using Boolean Constraint Propagation for Sub-clauses Deduction. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:757-761 [Conf]
  5. Richard Ostrowski, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
    Recovering and Exploiting Structural Knowledge from CNF Formulas. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:185-199 [Conf]
  6. Éric Grégoire, Bertrand Mazure, Cédric Piette
    Extracting MUSes. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:387-391 [Conf]
  7. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. [Citation Graph (0, 0)][DBLP]
    ECSQARU-FAPR, 1997, pp:122-130 [Conf]
  8. Éric Grégoire, Bertrand Mazure, Cédric Piette
    Tracking MUSes and Strict Inconsistent Covers. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:39-46 [Conf]
  9. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Local Search for Computing Normal Circumstances Models. [Citation Graph (0, 0)][DBLP]
    Fuzzy Days, 1997, pp:565-566 [Conf]
  10. Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Eliminating Redundancies in SAT Search Trees. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2003, pp:100-104 [Conf]
  11. Yacine Boufkhad, Éric Grégoire, Pierre Marquis, Bertrand Mazure, Lakhdar Sais
    Tractable Cover Compilations. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1997, pp:122-127 [Conf]
  12. Éric Grégoire, Bertrand Mazure, Cédric Piette
    Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:2300-2305 [Conf]
  13. Éric Grégoire, Bertrand Mazure, Cédric Piette, Lakhdar Sais
    A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs. [Citation Graph (0, 0)][DBLP]
    IRI, 2006, pp:325-329 [Conf]
  14. Gilles Audemard, Bertrand Mazure, Lakhdar Sais
    Dealing with Symmetries in Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  15. Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
    Automatic Extraction of Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  16. Éric Grégoire, Richard Ostrowski, Bertrand Mazure, Lakhdar Sais
    Automatic Extraction of Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:122-132 [Conf]
  17. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    Boosting Complete Techniques Thanks to Local Search Methods. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1998, v:22, n:3-4, pp:319-331 [Journal]
  18. Bertrand Mazure, Lakhdar Sais, Éric Grégoire
    An Efficient Technique to Ensure the Logical Consistency of Interacting Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 1997, v:6, n:1, pp:27-36 [Journal]
  19. Éric Grégoire, Bertrand Mazure
    About the incremental validation of first-order stratified knowledge-based decision-support systems. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2002, v:142, n:1-4, pp:117-129 [Journal]
  20. Éric Grégoire, Bertrand Mazure, Cédric Piette
    MUST: Provide a Finer-Grained Explanation of Unsatisfiability. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:317-331 [Conf]
  21. Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
    Eliminating Redundant Clauses in SAT Instances. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2007, pp:71-83 [Conf]
  22. Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais
    Reducing hard SAT instances to polynomial ones. [Citation Graph (0, 0)][DBLP]
    IRI, 2007, pp:18-23 [Conf]
  23. Éric Grégoire, Bertrand Mazure, Cédric Piette
    Local-search Extraction of MUSes. [Citation Graph (0, 0)][DBLP]
    Constraints, 2007, v:12, n:3, pp:325-344 [Journal]

  24. Does This Set of Clauses Overlap with at Least One MUS? [Citation Graph (, )][DBLP]


  25. On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. [Citation Graph (, )][DBLP]


  26. Local Autarkies Searching for the Dynamic Partition of CNF Formulae. [Citation Graph (, )][DBLP]


  27. Learning in Local Search. [Citation Graph (, )][DBLP]


  28. Integrating Conflict Driven Clause Learning to Local Search [Citation Graph (, )][DBLP]


Search in 0.075secs, Finished in 0.077secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002