Configuration Knowledge Representation and Reasoning
Satisfiability Solvers