Authors Search About

Mahajan, Meena

1 publications

AAAI 2024 Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs Olaf Beyersdorff, Benjamin Böhm, Meena Mahajan

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy