Reasons for Hardness in QBF Proof Systems.

Olaf Beyersdorff Luke Hinde Ján Pich

Published in: ACM Trans. Comput. Theory (2020)

Keyphrases

management system
information retrieval
machine learning
information systems
expert systems
complex systems