Pages that link to "Item:Q1656563"
From MaRDI portal
The following pages link to Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers (Q1656563):
Displaying 8 items.
- In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving (Q1656587) (← links)
- Understanding cutting planes for QBFs (Q1784953) (← links)
- 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)
- Efficient local search for pseudo Boolean optimization (Q2118314) (← links)
- (Q3429158) (← links)
- (Q3429161) (← links)
- (Q5020979) (← links)