An Explanation-Based Constraint Debugger.
Aaron RichGiora AlexandronReuven NavehPublished in: Haifa Verification Conference (2009)
Keyphrases
- real time
- explanation based learning
- constraint solving
- information systems
- constraint networks
- global constraints
- inductive learning
- parallel algorithm
- constrained minimization
- programming environment
- constraint satisfaction
- relational databases
- image sequences
- website
- search engine
- information retrieval
- data sets