Lifting (D)QBF Preprocessing and Solving Techniques to (D)SSAT.

Che Cheng Jie-Hong R. Jiang

Published in: AAAI (2023)

Keyphrases

preprocessing
quantified boolean formulas
post processing
preprocessing step
boolean formula
image processing
feature extraction
lower bound
constraint satisfaction
combinatorial optimization
preprocessing phase