The use of a strategy language for solving search problems
Annals of Mathematics and Artificial Intelligence
ELAN from a rewriting logic point of view
Theoretical Computer Science - Rewriting logic and its applications
A Control Language for Designing Constraint Solvers
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Basic Operators for Solving Constraints via Collaboration of Solvers
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
Hi-index | 0.01 |