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

Testing for Termination with Monotonicity Constraints., , and . ICLP, volume 3668 of Lecture Notes in Computer Science, page 326-340. Springer, (2005)Dynamic Programming for Predict+Optimise., , , , , , and . AAAI, page 1444-1451. AAAI Press, (2020)Modelling Diversity of Solutions., , , and . AAAI, page 1528-1535. AAAI Press, (2020)MAPF-LNS2: Fast Repairing for Multi-Agent Path Finding via Large Neighborhood Search., , , , and . AAAI, page 10256-10265. AAAI Press, (2022)Optimal Decision Trees for Nonlinear Metrics., and . AAAI, page 3733-3741. AAAI Press, (2021)Searching with Consistent Prioritization for Multi-Agent Path Finding., , , , and . AAAI, page 7643-7650. AAAI Press, (2019)String Constraint Solving: Past, Present and Future., , , , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 2875-2876. IOS Press, (2020)Propagation Redundancy in Redundant Modelling., , and . CP, volume 2833 of Lecture Notes in Computer Science, page 229-243. Springer, (2003)Core-Guided and Core-Boosted Search for CP., , , and . CPAIOR, volume 12296 of Lecture Notes in Computer Science, page 205-221. Springer, (2020)Constraints for symmetry breaking in graph representation., , , and . Constraints An Int. J., 24 (1): 1-24 (2019)