Extending Arbitrary Solvers with Constraint Handling Rules (2003)

Cached

Download Links

by Gregory J. Duck , Peter J. Stuckey , Maria Garcia De La Banda , Christian Holzbaur
Venue:In Proceedings of the 5th ACM SIGPLAN international conference on Principles and Practice of Declarative Programming
Citations:11 - 2 self