| ||||
| ||||
![]() Title:Lifting Symmetry Breaking Constraints with Inductive Logic Programming Conference:KR 2022 Tags:Answer Set Programming, Inductive Logic Programming and Symmetry Breaking Constraints Abstract: Our work addresses the generation of first-order constraints to reduce symmetries and improve the solving performance for classes of instances of a given combinatorial problem. To this end, we devise a model-oriented approach obtaining positive and negative examples for an Inductive Logic Programming task by analyzing instance-specific symmetries for a training set of instances. The learned first-order constraints are interpretable and can be used to augment a general problem encoding in Answer Set Programming. This extented abstract introduces the context of our work, contributions and results. Lifting Symmetry Breaking Constraints with Inductive Logic Programming ![]() Lifting Symmetry Breaking Constraints with Inductive Logic Programming | ||||
Copyright © 2002 – 2025 EasyChair |