From post

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.

 

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

Generalized support and formal development of constraint propagators., , и . AI Commun., 30 (5): 325-346 (2017)Symmetry Breaking in Constraint Programming., и . ECAI, стр. 599-603. IOS Press, (2000)Encoding Quantified CSPs as Quantified Boolean Formulae., , и . ECAI, стр. 176-180. IOS Press, (2004)Groups and Constraints: Symmetry Breaking during Search., , и . CP, том 2470 из Lecture Notes in Computer Science, стр. 415-430. Springer, (2002)Local Search and the Number of Solutions., , , , , и . CP, том 1118 из Lecture Notes in Computer Science, стр. 119-133. Springer, (1996)Modelling Equidistant Frequency Permutation Arrays in Constraints., , , , и . SARA, AAAI, (2009)Explaining Pen and Paper Puzzles with MUSes?, , , , , и . SICSA XAI, том 2894 из CEUR Workshop Proceedings, стр. 56-63. CEUR-WS.org, (2021)Local Search on Random 2+p-SAT., , и . ECAI, стр. 113-117. IOS Press, (2000)Bridging the Gap between Structural and Semantic Similarity in Diverse Planning., , , и . CoRR, (2023)Conjure: Automatic Generation of Constraint Models from Problem Specifications., , , , , и . Artif. Intell., (2022)