Dynamic QBF Dependencies in Reduction and Expansion.

Olaf Beyersdorff Joshua Blinkhorn

Published in: ACM Trans. Comput. Log. (2020)

Keyphrases

data sets
dynamic environments
database
databases
information systems
bayesian networks
evolutionary algorithm
orders of magnitude