Author of the publication

Compiling Ask Constraints.

, , and . ICLP, volume 3132 of Lecture Notes in Computer Science, page 105-119. Springer, (2004)

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

Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding., , , , and . SOCS, page 188-189. AAAI Press, (2019)Ballot-Polling Risk Limiting Audits for IRV Elections., , and . E-Vote-ID, volume 11143 of Lecture Notes in Computer Science, page 17-34. Springer, (2018)Propagation Redundancy in Redundant Modelling., , and . CP, volume 2833 of Lecture Notes in Computer Science, page 229-243. Springer, (2003)Bounded Suboptimal Path Planning with Compressed Path Databases., , , , , , and . ICAPS, page 333-342. AAAI Press, (2020)Interactive type debugging in Haskell., , and . Haskell, page 72-83. ACM, (2003)Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study., , , , and . LOPSTR, volume 12561 of Lecture Notes in Computer Science, page 192-209. Springer, (2020)A declarative encoding of telecommunications feature subscription in SAT., , and . PPDP, page 255-266. ACM, (2009)An Introduction to Search Combinators., , , , and . LOPSTR, volume 7844 of Lecture Notes in Computer Science, page 2-16. Springer, (2012)Higher-Precision Groundness Analysis., , , and . ICLP, volume 2237 of Lecture Notes in Computer Science, page 135-149. Springer, (2001)Compiling Ask Constraints., , and . ICLP, volume 3132 of Lecture Notes in Computer Science, page 105-119. Springer, (2004)