Clausal Abstraction for DQBF.

Leander Tentrup Markus N. Rabe

Published in: SAT (2019)

Keyphrases

defeasible logic
theorem proving
high level
constraint propagation
inductive logic programming
horn clauses
data mining
multiscale
decision procedures
temporal resolution
database
real time
real world
computer vision
search algorithm
relational databases