Searching for "On the Approximation of Maximum Satisfiability." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Approximating satisfiable satisfiability problems (Extended Abstract)
- …. We study the approximability of the Maximum Satisfiability Problem (Max SAT) and of the boolean k…
- Cited by 1 (1 self) – Add To MetaCart
-
Approximating Satisfiable Satisfiability Problems
- … study the approximability of the Maximum Satisfiability Problem (Max SAT) and of the boolean k…
- Cited by 18 (3 self) – Add To MetaCart
-
Approximation Algorithms Minicourse
- … of Approximation (maximum satisfiability, maximum cut, maximum cliques) Wrap-up The first four days…
- Add To MetaCart
-
Low-degree Graph Partitioning via Local Search with Applications to Constraint Satisfaction, Max Cut, and Coloring
- … by Yannakakis [23] and Goemans and Williamson [8] used to approximate maximum satisfiability. As for relative…
- Cited by 22 (2 self) – Add To MetaCart
-
Joe Culberson's Graph Colouring Bibliography
- … of maximum satisfiability. A preliminary version of this work was presented at the Third Annual ACM…
- Add To MetaCart
-
On Approximating Minimum Vertex Cover for Graphs with Perfect Matching
- …. For example, now it is known that the polynomial time approximability for the Maximum Satisfiability problem…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 6.
