Keyphrases
- sufficient conditions
- linear inequalities
- analogical reasoning
- analogy making
- domain theory
- real time
- route descriptions
- integer solution
- planar graphs
- qualitative reasoning
- valid inequalities
- linear programming
- databases
- facet defining inequalities
- integer linear programming
- background knowledge
- information processing
- cutting plane algorithm
- dynamic programming
- mixed integer linear programs
- database