Validation of QBF Encodings with Winning Strategies.

Irfansha Shaik Maximilian Heisinger Martina Seidl Jaco van de Pol

Published in: SAT (2023)

Keyphrases

case study
search strategies
data sets
neural network