The use of a strategy language for solving search problems
Annals of Mathematics and Artificial Intelligence
Generating Propagation Rules for Finite Domains: A Mixed Approach
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Automatic generation of rule-based constraint solvers over finite domains
ACM Transactions on Computational Logic (TOCL)
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Automatic generation of CHR constraint solvers
Theory and Practice of Logic Programming
Constraint solver synthesis using tabled resolution for constraint logic programming
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
Explaining constraint programming
Processes, Terms and Cycles
| Hi-index | 0.01 |