Reasons for Hardness in QBF Proof Systems.

Olaf Beyersdorff Luke Hinde Ján Pich

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

Keyphrases

intelligent systems
distributed systems
data mining
computer systems
orders of magnitude
database
information retrieval
learning algorithm
expert systems
information retrieval systems
complex systems
retrieval systems