( en | de | ru )

 

Disambiguierung von "Piette, Cédric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Local-search Extraction of MUSes.

, , und . Constraints An Int. J., 12 (3): 325-344 (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 Allène

Cédric Joffroy

Cédric Penet

Cédric Bodet

Cédric Müller

 

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)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)Ludii and XCSP: Playing and Solving Logic Puzzles., , , , und . CoG, Seite 1-4. IEEE, (2019)Solving E-Squaro through SAT-Coding., , , und . ICTAI, Seite 955-962. IEEE Computer Society, (2013)MUST: Provide a Finer-Grained Explanation of Unsatisfiability., , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 317-331. Springer, (2007)Local-search Extraction of MUSes., , und . Constraints An Int. J., 12 (3): 325-344 (2007)On Approaches to Explaining Infeasibility of Sets of Boolean Clauses., , und . ICTAI (1), Seite 74-83. IEEE Computer Society, (2008)Vivifying Propositional Clausal Formulae., , und . ECAI, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 525-529. IOS Press, (2008)