Date: 2014-08-13 19:26:58NP-complete problems Constraint programming Logic in computer science Propositional calculus Unsatisfiable core Electronic design automation Boolean satisfiability problem Symmetry Satisfiability Theoretical computer science Mathematics Applied mathematics | | A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina TorlakAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source Website File Size: 1,38 MBShare Document on Facebook
|