Implementing constraint imperative programming languages: the Kaleidoscope'93 virtual machine
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Parallel Logic Programming for Problem Solving
International Journal of Parallel Programming
The framework approach for constraint satisfaction
ACM Computing Surveys (CSUR)
Building industrial applications with constraint programming
Constraints in computational logics
Functional strips: a more flexible language for planning and problem solving
Logic-based artificial intelligence
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Proving Termination of Constraint Solver Programs
Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints
Constraint-Based Vehicle Assembly Line Sequencing
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Linear Formulation of Constraint Programming Models and Hybrid Solvers
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
Using confluence to generate rule-based constraint solvers
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Automatic data mapping of signal processing applications
ASAP '97 Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors
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
Encyclopedia of Computer Science
Bucket elimination for multiobjective optimization problems
Journal of Heuristics
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
A GRASP approach for the extended car sequencing problem
Journal of Scheduling
Efficient constraint propagation engines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computing leximin-optimal solutions in constraint networks
Artificial Intelligence
Softening Gcc and Regular with preferences
Proceedings of the 2009 ACM symposium on Applied Computing
Branching and pruning: an optimal temporal POCL planner based on constraint programming
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Constraint Functional Logic Programming Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating heuristics for constraint satisfaction problems: a case study
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Car sequencing with constraint-based ACO
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Computers and Industrial Engineering
On the complexity of the car sequencing problem
Operations Research Letters
Weight-based Heuristics for Constraint Satisfaction and Combinatorial Optimization Problems
Journal of Mathematical Modelling and Algorithms
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
| Hi-index | 0.00 |