Towards Inferring Labelling Heuristics for CSP Application Domains.
Zeynep KiziltanPierre FlenerBrahim HnichPublished in: KI/ÖGAI (2001)
Keyphrases
- application domains
- constraint satisfaction problems
- real life
- planning graph
- random instances
- decomposition methods
- computing paradigms
- sat encodings
- constraint programming
- ordering heuristics
- application scenarios
- heuristic search
- arc consistency
- search algorithm
- constraint satisfaction
- hyper heuristics
- constraint networks
- tree decomposition
- graph databases
- np hard
- real world
- variable ordering heuristics
- propositional satisfiability
- heuristic methods