Relating Existing Powerful Proof Systems for QBF.

Leroy Chew Marijn J. H. Heule

Published in: SAT (2022)

Keyphrases

knowledge based systems
user friendly
multimedia
digital libraries
intelligent systems
computer systems
complex systems
theorem proving