Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
A minimal extension of the WAM for clp(FD)
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Constraint programming for combinatorial search problems
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Introduction to the programming languages track (track introduction)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Yet Another Local Search Method for Constraint Solving
SAGA '01 Proceedings of the International Symposium on Stochastic Algorithms: Foundations and Applications
Components for State Restoration in Tree Search
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Assertion-based automated functional vectors generation using constraint logic programming
Proceedings of the 14th ACM Great Lakes symposium on VLSI
cTI: a constraint-based termination inference tool for ISO-Prolog
Theory and Practice of Logic Programming
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
An explanation-based tools for debugging constraint satisfaction problems
Applied Soft Computing
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Controlling search in constrained-object models
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Improving the ISO prolog standard by analyzing compliance test results
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Knowledge-Based graph exploration analysis
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Hi-index | 0.00 |