Author of the publication

Explaining Pen and Paper Puzzles with MUSes?

, , , , , and . SICSA XAI, volume 2894 of CEUR Workshop Proceedings, page 56-63. CEUR-WS.org, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symmetry Breaking in Constraint Programming., and . ECAI, page 599-603. IOS Press, (2000)Encoding Quantified CSPs as Quantified Boolean Formulae., , and . ECAI, page 176-180. IOS Press, (2004)Generalized support and formal development of constraint propagators., , and . AI Commun., 30 (5): 325-346 (2017)Local Search and the Number of Solutions., , , , , and . CP, volume 1118 of Lecture Notes in Computer Science, page 119-133. Springer, (1996)Groups and Constraints: Symmetry Breaking during Search., , and . CP, volume 2470 of Lecture Notes in Computer Science, page 415-430. Springer, (2002)Modelling Equidistant Frequency Permutation Arrays in Constraints., , , , and . SARA, AAAI, (2009)Explaining Pen and Paper Puzzles with MUSes?, , , , , and . SICSA XAI, volume 2894 of CEUR Workshop Proceedings, page 56-63. CEUR-WS.org, (2021)Local Search on Random 2+p-SAT., , and . ECAI, page 113-117. IOS Press, (2000)Propagation in Constraints: How One Thing Leads to Another.. CPAIOR, volume 6697 of Lecture Notes in Computer Science, page 2. Springer, (2011)Backbone Fragility and the Local Search Cost Peak., , and . J. Artif. Intell. Res., (2000)