Lifting symmetry breaking constraints with inductive logic programming

DOI10.1007/s10994-022-06146-3OpenAlexW3126861566MaRDI QIDQ2163186

Konstantin Schekotihin, Martin Gebser, Alice Tarzariol

Publication date: 10 August 2022

Published in: Machine Learning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2112.11806

zbMATH Keywords

inductive logic programminganswer set programmingsymmetry breaking constraints

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Related Items (1)

Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems

Uses Software

• Aleph
• GitHub
• Metagol

Cites Work

• Unnamed Item
• Unnamed Item
• Symmetry definitions for constraint satisfaction problems
• Inductive Learning of Answer Set Programs
• Automatic Detection of Variable and Value Symmetries
• Symmetry in Integer Linear Programming
• On local domain symmetry for model expansion
• Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
• Iterative Learning of Answer Set Programs from Context Dependent Examples
• ASP-Core-2 Input Language Format
• Answer Set Programming
• A Novel Approach For Detecting Symmetries in CSP Models

This page was built for publication: Lifting symmetry breaking constraints with inductive logic programming