Boolean Gröbner bases.

Yosuke Sato Shutaro Inoue Akira Suzuki Katsusuke Nabeshima Kô Sakai

Published in: J. Symb. Comput. (2011)

Keyphrases

numerically stable
polynomial equations
numerical stability
real valued
boolean functions
algebraic equations
methods in computer vision
basis functions
boolean queries
genetic algorithm
case study
objective function
search algorithm
expert systems
multi valued
boolean logic