Search for tag: "weakening"

Matilda Bui - Three Minute Thesis Competition Finalist 2023

Matilda Bui - Three Minute Thesis Competition Finalist 2023 Runner up and People's Choice Winner

From  Louise McKay 0 likes 34 plays 0  

Merge Resolution QBF proofs with inbuilt strategies - Meena Mahajan

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Merge Resolution: QBF proofs with inbuilt strategies The Institute of Mathematical Sciences Meena Mahajan

From  Iain Cms 0 likes 11 plays 0