Triangular Solvers on a Ring.

Eunice E. Santos

Published in: PDPTA (1997)

Keyphrases

sat solvers
image processing
highly optimized
quantified boolean formulas
square grid
machine learning
eigenvalue problems
knowledge base
search algorithm
evolutionary algorithm
algebraic structure
sat solving
numerically stable
mixed integer linear