The following pages link to Circular (yet sound) proofs (Q2181918):
Displaying 8 items.
- Justification by infinite loops (Q609758) (← links)
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Addressing Circular Definitions via Systems of Proofs (Q3305628) (← links)
- (Q5208872) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- MaxSAT Resolution and Subcube Sums (Q5875950) (← links)
- On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems (Q6649455) (← links)
- Polynomial calculus for optimization (Q6665696) (← links)