Davis and Putnam Meet Henkin: Solving DQBF with Resolution.

Joshua Blinkhorn Tomás Peitl Friedrich Slivovsky

Published in: SAT (2021)

Keyphrases

database
genetic algorithm
image processing
objective function
high resolution
real time
data sets
databases
information retrieval
artificial neural networks
evolutionary algorithm
consequence finding