Strategic directions in constraint programming
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
The use of a strategy language for solving search problems
Annals of Mathematics and Artificial Intelligence
Constraint Programming: Strategic Directions
Constraints
Planning Cordless Business Communication Systems
IEEE Expert: Intelligent Systems and Their Applications
Programming Deep Concurrent Constraint Combinators
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Some Remarks on Boolean Constraint Propagation
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Projection in Adaptive Constraint Handling
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Adaptive Constraint Handling with CHR in Java
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Abductive Partial Order Planning with Dependent Fluents
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
CCIA '02 Proceedings of the 5th Catalonian Conference on AI: Topics in Artificial Intelligence
Interactive type debugging in Haskell
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Constraint programming viewed as rule-based programming
Theory and Practice of Logic Programming
Grammar-based analysis of string expressions
TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
Intelligent search strategies based on adaptive Constraint Handling Rules
Theory and Practice of Logic Programming
Hm(x) type inference is clp(x) solving
Journal of Functional Programming
On the verification of high-order constraint compliance in IC design
Proceedings of the conference on Design, automation and test in Europe
Consistency checking of role assignments in inter-organizational collaboration
SPRINGL '08 Proceedings of the SIGSPATIAL ACM GIS 2008 International Workshop on Security and Privacy in GIS and LBS
Constraint Handling Rules
Programming constraint services: high-level programming of standard and new constraint services
Programming constraint services: high-level programming of standard and new constraint services
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Chemical signaling as a useful metaphor for resource management
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part I
Lightweight string reasoning for OCL
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Executing Suspended Logic Programs
Fundamenta Informaticae
Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies
Fundamenta Informaticae
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Securely accessing shared resources with concurrent constraint programming
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |