CAQE and QuAbS: Abstraction Based QBF Solvers.

Leander Tentrup

Published in: J. Satisf. Boolean Model. Comput. (2019)

Keyphrases

high level
databases
data abstraction
temporal abstractions
cooperative
real time
data analysis
decision theoretic planning
state abstraction
medical images
state space
mobile robot
special case
pairwise
object recognition
data structure
database systems
metadata
genetic algorithm
data sets