Fast simplifications for Tarski formulas.

Christopher W. Brown

Published in: ISSAC (2009)

Keyphrases

neural network
data sets
real world
information retrieval
image segmentation
expert systems
knowledge representation
mathematical formulas
tree decompositions