discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Workshop exercises for an industry audience involving the use of SAT solvers?
https://cseweb.ucsd.edu/~lerner/papers/opium.pdf
6 comments
10/3/2015
compsci