Pages that link to "Item:Q5900327"
From MaRDI portal
The following pages link to Principles and Practice of Constraint Programming – CP 2004 (Q5900327):
Displaying 5 items.
- An efficient solver for weighted Max-SAT (Q933784) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- Evaluating the impact of AND/OR search on 0-1 integer linear programming (Q2267805) (← links)
- Solving the weighted MAX-SAT problem using the dynamic convexized method (Q2439524) (← links)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
