Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers

9789310118126

Hetal Makwana

Mahima Publications

English

Computer and IT: Science and Engineering - Computer and IT: Science and Engineering

2019

8775.00

Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers