Tag: unique-solution

Found 8 results for 'unique-solution'.

---

1) cc.complexity-theory - Examples where the uniqueness of the solution makes it easier to find
2) cc.complexity-theory - Evidence that UniqueSat is dense
3) cc.complexity-theory - Reduction from SAT to 0,1 integer linear program with zero or one solutions
4) np-hardness - NP-Complete problems that admit an efficient algorithm under the promise of a unique solution
5) cc.complexity-theory - Constructing uniquely satisfiable formulas
6) cc.complexity-theory - What's the relationship between ASP-complete and #P-complete?
7) cc.complexity-theory - Derandomizing Valiant-Vazirani?
8) reductions - UnambiguousSAT reductions

---