Constraint Solving and Planning with Picat by Neng-Fa Zhou , Håkan Kjellerstrand , and Jonathan Fruhman , xi + 148 pages, Springer, 2015. Paperback, ISBN 978-3-319-25881-2.
Roman BartákPublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- constraint programming
- search engine
- planning problems
- website
- computer science
- web pages
- heuristic search
- precedence relations
- constraint solvers
- special case
- artificial intelligence
- temporal constraints
- international symposium
- image sequences
- finite domain
- business objects