( en | de | ru )

 

Disambiguierung von "Piette, Cédric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants.

, , , und . Rev. d'Intelligence Artif., 26 (3): 209-224 (2012)

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 Müller

Cédric Bodet

Cédric Allène

Cédric Joffroy

Cédric Penet

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle., , und . IJCAI, Seite 2300-2305. (2007)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)Solving E-Squaro through SAT-Coding., , , und . ICTAI, Seite 955-962. IEEE Computer Society, (2013)Ludii and XCSP: Playing and Solving Logic Puzzles., , , , und . CoG, Seite 1-4. IEEE, (2019)Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants., , , und . Rev. d'Intelligence Artif., 26 (3): 209-224 (2012)