Books Constraint Satisfaction in Logic Programming
NASSLLI 2003 Course: Foundations of Constraint Satisfaction
References
On-line
NASSLLI 2003 Tutorial lecture notes
R. Barták, http://ktiml.mff.cuni.cz/~bartak/NASSLLI2003, 2003. On-line Guide to Constraint Programming
R. Barták, http://kti.mff.cuni.cz/~bartak/constraints, 1998. Constraints Archive
http://www.cs.unh.edu/ccc/archive
Books
Constraint Satisfaction in Logic Programming P. Van Hentenryck, MIT Press, 1989. Foundations of Constraint Satisfaction E. Tsang, Academic Press, 1993.
Programming with Constraints: An Introduction K. Marriott, P.J. Stuckey, MIT Press, 1998.
Surveys
Constraint Programming: In Pursuit of Holy Grail
R. Barták, in Proceedings of Week of Doctoral Students, Prague, 1999.
Constraint Logic Programming – A Survey
J. Jaffar & M.J. Maher, J. Logic Programming, 19/20:503-581, 1996.
Algorithms for Constraint Satisfaction Problems: A Survey V. Kumar, AI Magazine 13(1): 32-44, 1992. A Tutorial on Constraint Programming
B.M. Smith, TR 95.14, University of Leeds, 1995.
The Origins
The Programming Language Aspects of ThingLab, A Constraint-Oriented Simulation Laboratory
A. Borning, in ACM Transactions on Programming Languages and Systems 3(4): 252-387, 1981.
Logic Programming: Further Developments
H. Gallaire, in: IEEE Symposium on Logic Programming, Boston, IEEE, 1985.
Constraint Logic Programming
J. Jaffar & J.L. Lassez, in Proc. The ACM Symposium on Principles of Programming Languages, ACM, 1987.
Networks of constraints fundamental properties and applications to picture processing
U. Montanary, in: Information Sciences 7: 95-132, 1974. Sketchpad: a man-machine graphical communication system I. Sutherland, in Proc. IFIP Spring Joint Computer Conference, 1963.
Understanding line drawings of scenes with shadows
D.L. Waltz, in Psychology of Computer Vision, McGraw-Hill, New York, 1975.
Binarisation
On the conversion between Non-Binary and Binary Constraint Satisfaction Problems
F. Bacchus, P. van Beek, in Proc. National Conference on Artifical Intelligence (AAAI-98), Madison, Wisconsin, 1998. Non-Binary Constraints
C. Bessiere, in Proc. Principles and Practice of Constraint Programming (CP-99), Alexandria, Virginia, USA, 1999. On the equivalence of constraint satisfaction problems
F. Rossi, V. Dahr and C. Petrie, in Proc. European Conference on Artificial Intelligence (ECAI-90), Stockholm, 1990. Also MCC Technical Report ACT-AI-222-89.
Using auxiliary variables and implied constraints to model non-binary problems
B. Smith, K. Stergiou, T. Walsh, in Proc. National Conference on Artificial Intelligence (AAAI-00), Austin, Texas, 2000. Encodings of Non-Binary Constraint Satisfaction Problems
K. Stergiou, T. Walsh, in Proc. National Conference on Artificial Intelligence (AAAI-99), Orlando, Florida, 1999.
Local Search
Tabu Search for Maximal Constraint Satisfaction Problems
P. Galinier, Jin-Kao Hao, in Proceedings of Principles and Practice of Constraint Programming (CP97), Springer Verlag, Austria, 1997.
Tabu Search
F. Glover, M. Laguna, in: Modern Heuristics for Combinatorial Problems, Blackwell Scientific Publishing, Oxford, 1993. Localizer: A Modelling Language for Local Search
L. Michel, P. Van Hentenryck, in Proceedings of Principles and Practice of Constraint Programming (CP97), Springer Verlag, Austria, 1997.
Minimising conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
S. Minton, M.D. Johnston, P. Laird, in: Artificial Intelligence 58(1-3):161-206, 1992.
Domain-independent extensions to GSAT: Solving Large Structured Satisfiability Problems
B. Selman, H. Kautz, in: Proc. IJCAI-93, 1993.
Solving constraint satisfaction problems using neural-networks C.J. Wang, E.P.K. Tsang, in: Proc. Second International Conference on Artificial Neural Networks, 1991.
Search
Backtracking algorithms for constraint satisfaction problems; a survey
R. Dechter, D. Frost, in Constraints, International Journal, 1998. Performance Measurement and Analysis of Certain Search Algorithms
Gaschnig, J., CMU-CS-79-124, Carnegie-Mellon University, 1979.
Books Constraint Satisfa... 暂无评价 2页 免费 Control in Parallel Cons.....Constraint Satisfaction in Logic Programming. Logic Programming Series. The MIT...
Books Constraint Satisfa... 暂无评价 2页 免费 Classroom Assignment usi...... Constraint Satisfaction using Constraint Logic Programming Constraint logic ...
Constraint satisfaction in logic programming. MIT Press, 1989. A This article was processed using the L TEX macro package with LLNCS style 分享到: X...
In logic programming, problems are stated in a declarative way using rules ...constraint satisfaction problem (Mac92) and implemented by means of ...
Implementing randomised algorithms in constraint logic programming We propose a... namely the travelling salesman (TSP) and the maximum satisfaction (MAX SAT...
Interval linear constraint solving in constraint logic programming (This document is a reformatted version of the dissertation, and equivalent in contents.) ...
Bound Consistency on Linear Constraints in Finite Domain Constraint Programming...[4] van Hentenryk, P., Constraint Satisfaction in Logic Programming, MIT ...
We view constraints as relations and constraint satisfaction as a dynamic ...based systems, and can be embedded in logic programming languages 2, 5, ...
Constraint Satisfaction ... 暂无评价 47页 免费 Economic Modelling using......ability checker based on Constraint Logic Programming (CLP). By transforming ...
Playing with Boolean blocks, part II Constraint satisfaction problems In the...querying, circuit design, network optimization, scheduling, logic programming),...
我要评论