Login / Signup
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming.
Alice Tarzariol
Published in:
ICLP Technical Communications / Doctoral Consortium (2022)
Keyphrases
</>
answer set programming
state space
logic programming