Expansion-Based QBF Solving Without Recursion.

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

Published in: FMCAD (2018)

Keyphrases

quantified boolean formulas
np hard
neural network
genetic algorithm
logic programming
np complete
combinatorial optimization