The following pages link to A proof builder for Max-SAT (Q2118341):
Displaying 5 items.
- QMaxSATpb: a certified MaxSAT solver (Q2694600) (← links)
- A Preprocessor for Max-SAT Solvers (Q3502688) (← links)
- Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations (Q5044548) (← links)
- Proofs and Certificates for Max-SAT (Q5870516) (← links)
- Lower bounds of functions on finite abelian groups (Q6591628) (← links)
