An Abstract View on Optimizations in SAT and ASP.

Published in: JELIA (2021)

Keyphrases

answer set programming
satisfiability problem
multiple views
high level
knowledge representation
answer set solvers
neural network
artificial intelligence
search algorithm
low level
higher level
sat instances