Determining Optimal Arithmetic Circuits for Solving Linear Optimization Problems with SAT Solvers
<p> As the fields of Artificial Intelligence, operations research, and computer science are expanding, the complexity of computing problems also increases, making such problems more difficult to solve. Broadly speaking, many such problems are constraint programming problems. Constraint program...
| Main Author: | |
|---|---|
| Language: | EN |
| Published: |
California State University, Long Beach
2018
|
| Subjects: | |
| Online Access: | http://pqdtopen.proquest.com/#viewpdf?dispub=10752239 |