Cédric Piette

Éric Piette

Matthew Stephenson

Dennis J. N. J. Soemers

Cameron Browne

Proceedings of the IEEE Conference on Games, 2019

2016

XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems.

[BibT_eX]

[DOI]

Frédéric Boussemart

Christophe Lecoutre

CoRR, 2016

2014

Dolius: A Distributed Parallel SAT Solving Framework.

[BibT_eX]

[DOI]

Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 2014

An Effective Distributed D&C Approach for the Satisfiability Problem.

[BibT_eX]

[DOI]

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Solving E-Squaro through SAT-Coding.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2012

Revisiting Clause Exchange in Parallel SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Deterministic Parallel DPLL.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2011

2010

MUS-based generation of arguments and counter-arguments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

2009

Using local search to find MSSes and MUSes.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2009

Efficient Combination of Decision Procedures for MUS Computation.

[BibT_eX]

[DOI]

Youssef Hamadi

Lakhdar Sais

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Does This Set of Clauses Overlap with at Least One MUS?

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2009

2008

Extraction d'ensembles minimaux incohérents basée sur la recherche locale.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2008

On Finding Minimally Unsatisfiable Cores of CSPS.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2008

Let the Solver Deal with Redundancy.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Vivifying Propositional Clausal Formulae.

[BibT_eX]

[DOI]

Youssef Hamadi

Lakhdar Sais

Proceedings of the ECAI 2008, 2008

2007

Local-search Extraction of MUSes.

[BibT_eX]

[DOI]

Constraints An Int. J., 2007

Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

MUST: Provide a Finer-Grained Explanation of Unsatisfiability.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

Tracking MUSes and Strict Inconsistent Covers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Extracting MUSes.

[BibT_eX]