Ideals and graphs, Gröbner bases and decision procedures in graphs.

Giuseppa Carrá Ferro Daniela Ferrarello

Published in: Discret. Math. (2008)

Keyphrases

decision procedures
theorem proving
automated reasoning
database
machine learning
query processing
scale space
integrity constraints