Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2112.11806
Cited By
Lifting Symmetry Breaking Constraints with Inductive Logic Programming
22 December 2021
Alice Tarzariol
M. Gebser
Konstantin Schekotihin
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Lifting Symmetry Breaking Constraints with Inductive Logic Programming"
2 / 2 papers shown
Title
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming
Alice Tarzariol
45
0
0
05 Aug 2022
Efficient lifting of symmetry breaking constraints for complex combinatorial problems
Alice Tarzariol
M. Gebser
Mark Law
Konstantin Schekotihin
16
2
0
14 May 2022
1
