( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tabu Search for SAT.

, , и . AAAI/IAAI, стр. 281-285. AAAI Press / The MIT Press, (1997)

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.

Bertrand Gloddek

Bertrand Hirl

Joachim Bertrand

Bertrand Malmendier

Jessica Bertrand

 

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

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses., , и . ICTAI (1), стр. 74-83. IEEE Computer Society, (2008)Recovering and Exploiting Structural Knowledge from CNF Formulas., , , и . CP, том 2470 из Lecture Notes in Computer Science, стр. 185-199. Springer, (2002)MUST: Provide a Finer-Grained Explanation of Unsatisfiability., , и . CP, том 4741 из Lecture Notes in Computer Science, стр. 317-331. Springer, (2007)Automatic Extraction of Functional Dependencies., , , и . SAT, (2004)Local-search Extraction of MUSes., , и . Constraints An Int. J., 12 (3): 325-344 (2007)Computing prime implicants., , , и . FMCAD, стр. 46-52. IEEE, (2013)Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT., , , и . ICTAI, стр. 446-452. IEEE Computer Society, (2014)Extracting MUSes., , и . ECAI, том 141 из Frontiers in Artificial Intelligence and Applications, стр. 387-391. IOS Press, (2006)Introduction to the special issue on CSP technologies in artificial intelligence., и . Constraints An Int. J., 20 (4): 381-382 (2015)Dealing with Symmetries in Quantified Boolean Formulas., , и . SAT, (2004)