Building small equality graphs for deciding equality logic with uninterpreted functions.

Yoav Rodeh Ofer Strichman

Published in: Inf. Comput. (2006)

Keyphrases

logic programming
small number
graph matching
graph theory
graph clustering
directed graph
defeasible logic
relational structures