2013
The Satisfiability Problem
This book explains how algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution, but also algorithms based on “physical” principles are considered.
Uwe Schöning, J. Torán
· 0 citations