Login / Signup

A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming.

Alice Tarzariol
Published in: IJCAI (2022)
Keyphrases
  • answer set programming
  • high level
  • objective function
  • logic programming
  • branch and bound