Cited By
View all- Beyersdorff OBlinkhorn JMahajan MPeitl TSood G(2024)Hard QBFs for Merge ResolutionACM Transactions on Computation Theory10.1145/363826316:2(1-24)Online publication date: 14-Mar-2024
- Bulatov AŽivný S(2020)Approximate Counting CSP Seen from the Other SideACM Transactions on Computation Theory10.1145/338939012:2(1-19)Online publication date: 13-May-2020
- Beyersdorff OBonacina IChew LPich J(2020)Frege Systems for Quantified Boolean LogicJournal of the ACM10.1145/338188167:2(1-36)Online publication date: 5-Apr-2020
- Show More Cited By