Pages that link to "Item:Q2029775"
From MaRDI portal
The following pages link to Resolution with counting: dag-like lower bounds and different moduli (Q2029775):
Displaying 4 items.
- Propositional proof complexity (Q6064569) (← links)
- Depth lower bounds in Stabbing Planes for combinatorial principles (Q6137876) (← links)
- Semialgebraic proofs, IPS lower bounds, and the \(\tau\)-conjecture: can a natural number be negative? (Q6562829) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
