The following pages link to Exact Algorithms for MAX-SAT (Q4916231):
Displaying 9 items.
- A universally fastest algorithm for Max 2-sat, Max 2-CSP, and everything in between (Q414887) (← links)
- 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)
- (Q2728900) (← links)
- Solving #SAT and MAXSAT by Dynamic Programming (Q3196312) (← links)
- An Empirical Study of MAX-2-SAT Phase Transitions (Q3439118) (← links)
