Experimental evaluation of a generic abstract interpretation algorithm for PROLOG
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combinations of abstract domains for logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Type analysis of Prolog using type graphs
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Parallel Logic Programming for Problem Solving
International Journal of Parallel Programming
Constraints and constraint solving: an introduction
Constraints in computational logics
Building industrial applications with constraint programming
Constraints in computational logics
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
Embedding Relaxations in Global Constraints for Solving TSP and TSPTW
Annals of Mathematics and Artificial Intelligence
Journal of Heuristics
A Combinatorial Approach to Content-Based Music Selection
IEEE MultiMedia
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Practical Investigation of Constraints with Graph Views
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
When do bounds and domain propagation lead to the same search space
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
Distributed WWW programming using (Ciao-)Prolog and the PiLLoW library
Theory and Practice of Logic Programming
When do bounds and domain propagation lead to the same search space?
ACM Transactions on Programming Languages and Systems (TOPLAS)
Programming finite-domain constraint propagators in Action Rules
Theory and Practice of Logic Programming
Models for Global Constraint Applications
Constraints
Increasing functional constraints need to be checked only once
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
An efficient arc consistency algorithm for a class of CSP problems
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Action rules for programming constraint propagators and interactive user interfaces
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
A constraint programming-based solution approach for medical resident scheduling problems
Computers and Operations Research
Generating effective admissible heuristics by abstraction and reconstitution
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Modeling view selection as a constraint satisfaction problem
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Extending chip in order to solve complex scheduling and placement problems
Mathematical and Computer Modelling: An International Journal
| Hi-index | 0.00 |