Author of the publication

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

Short and Long Supports for Constraint Propagation., , , and . CoRR, (2014)Modelling Constraint Solver Architecture Design as a Constraint Problem, , , and . CoRR, (2011)Symmetry Definitions for Constraint Satisfaction Problems., , , , and . CP, volume 3709 of Lecture Notes in Computer Science, page 17-31. Springer, (2005)Discriminating Instance Generation for Automated Constraint Model Selection., , , , , , and . CP, volume 8656 of Lecture Notes in Computer Science, page 356-365. Springer, (2014)Metamorphic Testing of Constraint Solvers., , , , and . CP, volume 11008 of Lecture Notes in Computer Science, page 727-736. Springer, (2018)Complexity of n-Queens Completion (Extended Abstract)., , and . IJCAI, page 5608-5611. ijcai.org, (2018)Minimal ordering constraints for some families of variable symmetries., , , and . Ann. Math. Artif. Intell., 57 (1): 75-102 (2009)Search in the patience game 'Black Hole'., , , , , , , and . AI Commun., 20 (3): 211-226 (2007)Data Structures for Generalised Arc Consistency for Extensional Constraints., , , and . AAAI, page 191-197. AAAI Press, (2007)An automated approach to generating efficient constraint solvers., , , , and . ICSE, page 661-671. IEEE Computer Society, (2012)