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