Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic.

Carlos Ansótegui Miquel Bofill Felip Manyà Mateu Villaret

Published in: ISMVL (2011)

Keyphrases

integer arithmetic
multiple valued
file organization
boolean functions
multi valued
euclidean distance transform
complex valued
distance transform
decision trees
constraint propagation
continuous attributes