Proof Simulation via Round-based Strategy Extraction for QBF.

Published in: Electron. Colloquium Comput. Complex. (2023)

Keyphrases

simulation model
logic programs
orders of magnitude
quantified boolean formulas
neural network
case study
information extraction
theorem proving
uniform distribution
simulation models