A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP.
Hong XuSven KoenigT. K. Satish KumarPublished in: CP (2017)
Keyphrases
- constraint solving
- constraint satisfaction problems
- multi relational data mining
- constraint graph
- constraint networks
- graph model
- inductive logic programming
- boolean constraints
- global constraints
- sat encodings
- boolean functions
- constraint satisfaction
- arc consistency
- finite domain
- relational learning
- linear constraints
- constraint solver
- disjunctive temporal
- soft constraints
- real valued
- np hard
- hard constraints
- tree decomposition
- constraint propagation
- decomposition methods
- boolean queries
- vector quantization
- np complete
- partial constraint satisfaction
- max csp
- knowledge base