efficiently solves
a.k.a. guarantees a poly-time solution for any SAT problem instance.
1 Matching Annotations
- Jan 2017
-
en.wikipedia.org en.wikipedia.org
-
efficiently solves
a.k.a. guarantees a poly-time solution for any SAT problem instance.