Pages that link to "Item:Q1656587"
From MaRDI portal
The following pages link to In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving (Q1656587):
Displaying 5 items.
- Learn to relax: integrating \(0-1\) integer linear programming with pseudo-Boolean conflict-driven search (Q2074664) (← links)
- On dedicated CDCL strategies for PB solvers (Q2118312) (← links)
- Constrained pseudo-propositional logic (Q2228353) (← links)
- Propositional proof systems based on maximum satisfiability (Q2238728) (← links)
- (Q5020979) (← links)
