Satisfiability
Probabilistic logic
Boolean satisfiability problem
Mathematics
Quantifier (linguistics)
Maximum satisfiability problem
Discrete mathematics
Conjunctive normal form
Propositional calculus
DPLL algorithm
Computer science
Boolean function
Artificial intelligence
Telecommunications
Statistics
Phase-locked loop
Jitter
