0%

satisfiability problem

S s

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of satisfiability problem words

  • noun Technical meaning of satisfiability problem A problem used as an example in complexity theory. It can be stated thus: Given a Boolean expression E, decide if there is some assignment to the variables in E such that E is true. A Boolean expression is composed of Boolean variables, (logical) negation (NOT), (logical) conjunction (AND) and parentheses for grouping. The satisfiability problem was the first problem to be proved to be NP-complete (by Cook). 1
Just one definition for satisfiability problem

Information block about the term

Parts of speech for Satisfiability problem

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Satisfiability problem

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?