Solving linear arithmetic constraints for user interface applications
Proceedings of the 10th annual ACM symposium on User interface software and technology
Partial task assignment of task graphs under heterogeneous resource constraints
Proceedings of the 40th annual Design Automation Conference
Proceedings of the 2005 ACM symposium on Applied computing
Designing an efficient computation strategy in CFLP(FD) using definitional trees
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Constraint-based test data generation in the presence of stack-directed pointers
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Planning and Scheduling the Operation of a Very Large Oil Pipeline Network
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
A survey of constraint-based programming paradigms
Computer Science Review
Hybrid metaheuristics in combinatorial optimization: a tutorial
TPNC'12 Proceedings of the First international conference on Theory and Practice of Natural Computing
Hi-index | 0.00 |
From the Publisher:The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programming, operations research, and mathematical programming. Topics discussed range from constraint-solving techniques to programming methodologies for constraint programming languages. Because there is not yet a universally used syntax for constraint logic programming languages, the authors present the programs in a way that is independent of any existing programming language. Practical exercises cover how to use the book with a number of existing constraint languages. Related course material in Powerpoint format (Win95) Programs from the book in ASCII format