The following pages link to Exact Algorithms for MAX-SAT (Q4916231):
Displaying 6 items.
- Efficient branch-and-bound algorithms for weighted MAX-2-SAT (Q535012) (← links)
- An efficient solver for weighted Max-SAT (Q933784) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- On preprocessing for weighted MaxSAT (Q2234104) (← links)
- MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability (Q2457672) (← links)
- An Empirical Study of MAX-2-SAT Phase Transitions (Q3439118) (← links)
