( en | de | ru )

 

Disambiguierung von "Piette, Cédric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.

, , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 317-331. Springer, (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Cédric Bodet

Cédric Müller

Cédric Allène

Cédric Joffroy

Cédric Penet

 

Weitere Publikationen von Autoren mit dem selben Namen

Does This Set of Clauses Overlap with at Least One MUS?, , und . CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 100-115. Springer, (2009)Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants., , , und . Rev. d'Intelligence Artif., 26 (3): 209-224 (2012)XCSP3 and its ecosystem., , , , und . Constraints An Int. J., 25 (1-2): 47-69 (2020)Local-search Extraction of MUSes., , und . Constraints An Int. J., 12 (3): 325-344 (2007)Deterministic Parallel DPLL., , , und . J. Satisf. Boolean Model. Comput., 7 (4): 127-132 (2011)MUST: Provide a Finer-Grained Explanation of Unsatisfiability., , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 317-331. Springer, (2007)On Approaches to Explaining Infeasibility of Sets of Boolean Clauses., , und . ICTAI (1), Seite 74-83. IEEE Computer Society, (2008)A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs., , , und . IRI, Seite 325-329. IEEE Systems, Man, and Cybernetics Society, (2006)XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems., , und . CoRR, (2016)Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle., , und . IJCAI, Seite 2300-2305. (2007)