Sign in

Encoding Hard String Problems with Answer Set Programming.

Dominik Köppl
Published in: CPM (2023)
Keyphrases
  • answer set programming
  • logic programs
  • logic programming
  • reasoning tasks
  • answer sets
  • data structure
  • search space
  • search methods
  • causal theories