Linguistics
Optimality theory
Phonology
Entailment
Mathematical optimization
Constraint algorithm
Constraint logic programming
Logic
Constraint programming
Science