BiblioMaxSAT
Description
Publications
- A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems
- Approximate solution of weighted MAX-SAT problems using GRASP.
- A Branch-And-Cut Algorithm for MAX-SAT and weighted MAX-SAT
- A Davis-Putnam based Enumeration Algorithm for Linear Pseudo-Boolean Optimization
- Algorithms for the Maximum Satisfiability Problem
