The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cédric Piette: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Éric Grégoire, Bertrand Mazure, Cédric Piette
    Extracting MUSes. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:387-391 [Conf]
  2. É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]
  3. É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]
  4. É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]
  5. É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]
  6. É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]

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


  8. Vivifying Propositional Clausal Formulae. [Citation Graph (, )][DBLP]


  9. Efficient Combination of Decision Procedures for MUS Computation. [Citation Graph (, )][DBLP]


  10. Let the Solver Deal with Redundancy. [Citation Graph (, )][DBLP]


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


Search in 0.002secs, Finished in 0.003secs
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