Searching for "The Minimum Satisfiability Problem." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
On Approximation Algorithms for the Minimum Satisfiability Problem
- …On Approximation Algorithms for the Minimum Satisfiability Problem M. V. Marathe a;1 and S. S…
- Cited by 8 (0 self) – Add To MetaCart
-
Instant Recognition of Half Integrality and 2-Approximations
- … problems: -- minimum satisfiability. In the problem of minimum satisfiability or MINSAT, we are given a…
- Cited by 4 (0 self) – Add To MetaCart
-
Approximation algorithms and hardness results for labeled connectivity problems
- … of the minimum satisfiability problem (MinSAT) in which each clause consists of at most r literals…
- Cited by 2 (1 self) – Add To MetaCart
-
Approximate Clustering of Fingerprint Vectors with Missing Values
- … pairs outside clusters. Since the problem of minimum k-satisfiability admits a polynomial- time…
- Cited by 1 (0 self) – Add To MetaCart
-
Finding Small Unsatisfiable Cores to Prove Unsatisfiability of QBFs
- … stochastic local search algorithm for the minimum unsatisfiability problem (MIN-SAT). 1 Introduction Recently…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 5.
