| http://www.w3.org/ns/prov#value | - Many 3-SAT problems can be quickly solved by algorithms [wikipedia.org] such as DPLL or WalkSAT. it is just that solving a 3-SAT problem can potentially take exponential time.Likewise, many problems that are undecidable in general, such as the halting problem, can be solved in many common cases.
|
