Back to Results
First PageMeta Content
NP-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 Torlak
Add to Reading List

Document Date: 2014-08-13 19:26:58

Open Document

File Size: 1,38 MB

Share Result on Facebook
UPDATE