Pages that link to "Item:Q2661345"
From MaRDI portal
The following pages link to Equivalence between systems stronger than resolution (Q2661345):
Displaying 7 items.
- A proof builder for Max-SAT (Q2118341) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)
- On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems (Q6649455) (← links)
- Polynomial calculus for optimization (Q6665696) (← links)