Sign in
ASP Programs with Groundings of Small Treewidth.
Bernhard Bliem
Published in:
FoIKS (2018)
Keyphrases
</>
search space
answer set programming
upper bound
answer sets
small number
stable model semantics
objective function
stable models
automatic programming
answer set programs