Related terms:
boolean satisfiability problem
constraint logic programming
constraint satisfaction
satisfiability problem
constraint propagation
constraint satisfaction problem
decision procedures
sat solver
finite domains
decidable
constraint programming
logic programming
decision problem
local search
normal form
solvers
polynomial time
quantified
proof string
vee c
many maximal cliques
p versus np
goal clause
Wikipedia sources:
Local consistency
Boolean satisfiability problem
Constraint logic programming
Satisfiability
Maximum satisfiability problem
Clique problem
P versus NP problem
Satisfiability Modulo Theories
Tautology (logic)
Conjunctive normal form
True quantified Boolean formula
List of NP-complete problems
ZYpp
Decision problem
Approximation algorithm
APX
Constraint satisfaction
Solver
Constraint programming
Horn clause
Context for words:
satisfiability
|
|