Related terms:
boolean satisfiability problem
satisfying assignment
existential quantifiers
quantified boolean formula
each clause
positive literal
cdots q
horn clause
question of whether
conjunctive normal form
satisfiability
solvers
quantified
local search
normal form
Wikipedia sources:
Boolean satisfiability problem
Maximum satisfiability problem
True quantified Boolean formula
Context for words:
satisfiability
problem
|
|