( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MUST: Provide a Finer-Grained Explanation of Unsatisfiability.

, , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 317-331. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Cédric Bodet

Cédric Müller

Cédric Allène

Cédric Joffroy

Cédric Penet

 

Другие публикации лиц с тем же именем

Deterministic Parallel DPLL., , , и . J. Satisf. Boolean Model. Comput., 7 (4): 127-132 (2011)MUST: Provide a Finer-Grained Explanation of Unsatisfiability., , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 317-331. Springer, (2007)Local-search Extraction of MUSes., , и . Constraints An Int. J., 12 (3): 325-344 (2007)On Approaches to Explaining Infeasibility of Sets of Boolean Clauses., , и . ICTAI (1), стр. 74-83. IEEE Computer Society, (2008)Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle., , и . IJCAI, стр. 2300-2305. (2007)A new heuristic-based albeit complete method to extract MUCs from unsatisfiable CSPs., , , и . IRI, стр. 325-329. IEEE Systems, Man, and Cybernetics Society, (2006)XCSP3: An Integrated Format for Benchmarking Combinatorial Constrained Problems., , и . CoRR, (2016)Solving E-Squaro through SAT-Coding., , , и . ICTAI, стр. 955-962. IEEE Computer Society, (2013)Ludii and XCSP: Playing and Solving Logic Puzzles., , , , и . CoG, стр. 1-4. IEEE, (2019)Calcul d'arguments et de contre-arguments fondé sur les noyaux inconsistants., , , и . Rev. d'Intelligence Artif., 26 (3): 209-224 (2012)