Expansion-Based QBF Solving Without Recursion.

Roderick Bloem Nicolas Braud-Santoni Vedad Hadzic Uwe Egly Florian Lonsing Martina Seidl

Published in: CoRR (2018)

Keyphrases

deductive databases
quantified boolean formulas
timetabling problem
search space
state space
datalog programs