1 Matching Annotations
  1. Jan 2017
  2. en.wikipedia.org en.wikipedia.org
    Boolean satisfiability problem - Wikipedia
    1
    1. bogste 21 Jan 2017
      efficiently solves

      a.k.a. guarantees a poly-time solution for any SAT problem instance.

      SAT efficiency solution order or growth search problems intractability
    Visit annotations in context

    Tags

    Annotators

    URL

    en.wikipedia.org/wiki/Boolean_satisfiability_problem