Search-Space Pruning with Int-Splits for Faster QBF Solving.

Maximilian Heisinger Irfansha Shaik Martina Seidl Jaco van de Pol

Published in: CoRR (2023)

Keyphrases

search space pruning
np hard
constraint satisfaction
genetic algorithm
solving problems
memory efficient
quantified boolean formulas