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

Hybrid tractable CSPs which generalize tree structure., , and . ECAI, volume 178 of Frontiers in Artificial Intelligence and Applications, page 530-534. IOS Press, (2008)Towards Reformulating Essence Specifications for Robustness., , , , , , and . CoRR, (2021)Automatic Tabulation in Constraint Models., , , , , , , and . CoRR, (2022)Effective guessing has unlikely consequences., and . CoRR, (2021)Transformations of representation in constraint satisfaction.. University of Oxford, UK, (2013)British Library, EThOS.Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints., , , , , , , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 20-36. Springer, (2019)The tractability of CSP classes defined by forbidden patterns, , , and . CoRR, (2011)Stronger Lower Bounds for Polynomial Time Problems., and . CoRR, (2020)Streaming bounds from difference ramification.. Electron. Colloquium Comput. Complex., (2012)Exploring Instance Generation for Automated Planning., , , , , and . CoRR, (2020)