Computing almost minimal formulas on the square.

Mattia Festa Alvise Sommariva

Published in: J. Comput. Appl. Math. (2012)

Keyphrases

tree decompositions
constraint satisfaction problems
real time
neural network
real world
knowledge base
three dimensional
similarity measure
hidden markov models