Author of the publication

Automatic Implication Checking for CHR Constraints.

, , , , and . RULE@RDP, volume 147 of Electronic Notes in Theoretical Computer Science, page 93-111. Elsevier, (2005)

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

Local Rapid Learning for Integer Programs., , and . CPAIOR, volume 11494 of Lecture Notes in Computer Science, page 67-83. Springer, (2019)Size-Change Termination Analysis in k-Bits., , , and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 230-245. Springer, (2006)Orthogonal Hyperedge Routing., , and . Diagrams, volume 7352 of Lecture Notes in Computer Science, page 51-64. Springer, (2012)Propagating dense systems of integer linear equations., and . SAC, page 306-310. ACM, (2007)To the Gates of HAL: A HAL Tutorial., , , and . FLOPS, volume 2441 of Lecture Notes in Computer Science, page 47-66. Springer, (2002)Regarding Jump Point Search and Subgoal Graphs., , , and . IJCAI, page 1241-1248. ijcai.org, (2019)Sequencing Operator Counts., , , and . IJCAI, page 4140-4144. IJCAI/AAAI Press, (2016)Using Stochastic Methods to Guide Search in CLP: A Preliminary Report., , , , and . ASIAN, volume 1179 of Lecture Notes in Computer Science, page 43-52. Springer, (1996)A Bit-Vector Solver with Word-Level Propagation., , and . CPAIOR, volume 9676 of Lecture Notes in Computer Science, page 374-391. Springer, (2016)Modelling with Option Types in MiniZinc., , , , , and . CPAIOR, volume 8451 of Lecture Notes in Computer Science, page 88-103. Springer, (2014)