Building Constraint Solvers with HAL
Proceedings of the 17th International Conference on Logic Programming
Extending arbitrary solvers with constraint handling rules
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
An interval constraint system for lattice domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic generation of rule-based constraint solvers over finite domains
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |