Simple and Minimum-Cost Satisfiability for Goal Models

This publication has 7 references indexed in Scilit:

• Reasoning with Goal Models
  Published by Springer Nature ,2002
• The Quest for Efficient Boolean Satisfiability Solvers
  Published by Springer Nature ,2002
• Chaff
  Published by Association for Computing Machinery (ACM) ,2001
• Goal-directed requirements acquisition
  Science of Computer Programming, 1993
• Representing and using nonfunctional requirements: a process-oriented approach
  IEEE Transactions on Software Engineering, 1992
• The complexity of theorem-proving procedures
  Published by Association for Computing Machinery (ACM) ,1971
• A machine program for theorem-proving
  Communications of the ACM, 1962