Hole in One: Using Qualitative Reasoning for Solving Hard Physical Puzzle Problems.
Xiaoyu GeJae Hee LeeJochen RenzPeng ZhangPublished in: ECAI (2016)
Keyphrases
- qualitative reasoning
- solving hard
- combinatorial problems
- dynamic systems
- qualitative information
- search problems
- propositional logic
- satisfiability problem
- machine learning
- expert systems
- order of magnitude reasoning
- conceptual design
- qualitative and quantitative
- combinatorial optimization
- orders of magnitude
- linear programming
- search algorithm