Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers Subtitle
By : Hetal Makwana
Book Info