Enfragmo: A System for Modelling and Solving Search Problems with Logic.
Amir AavaniXiongnan (Newman) WuShahab TasharrofiEugenia TernovskaDavid G. MitchellPublished in: LPAR (2012)
Keyphrases
- search problems
- solving hard
- systematic search algorithms
- search algorithm
- orders of magnitude
- combinatorial search
- heuristic search
- iterative deepening
- efficient search
- search strategies
- search space
- heuristic search algorithms
- parallel processors
- logic programming
- combinatorial optimization
- constraint satisfaction problems
- special case
- branch and bound
- machine learning
- computational properties
- search methods
- planning problems
- lower bound
- knowledge base