Reasons for Hardness in QBF Proof Systems.

Olaf Beyersdorff Luke Hinde Ján Pich

Published in: FSTTCS (2017)

Keyphrases

complex systems
database
intelligent systems
neural network
expert systems
management system
knowledge based systems
real time
distributed systems
building blocks
theorem proving