Simple and Minimum-Cost Satisfiability for Goal Models
Problem-Solving Methods in Artificial Intelligence