Lifting Symmetry Breaking Constraints with Inductive Logic Programming.
Alice TarzariolMartin GebserKonstantin SchekotihinPublished in: IJCAI (2021)
Keyphrases
- inductive logic programming
- symmetry breaking constraints
- symmetry breaking
- background knowledge
- relational learning
- constraint satisfaction problems
- relational data mining
- logic programs
- statistical relational learning
- predicate invention
- machine learning
- rule learning
- first order logic
- constraint programming
- ilp systems
- logic programming
- integer linear programming
- finite element mesh
- data mining tasks
- constraint satisfaction
- search algorithm