Boolean Satisfiability: Theory and Engineering

Comments



from Hacker News http://bit.ly/W2gJEW