A simple proof of QBF hardness.

Olaf Beyersdorff Joshua Blinkhorn

Published in: Inf. Process. Lett. (2021)

Keyphrases

real time
special case
theorem proving
neural network
genetic algorithm
information systems
decision trees