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