Fast congruence closure and extensions.

Robert Nieuwenhuis Albert Oliveras

Published in: Inf. Comput. (2007)

Keyphrases

efficient implementation
computer vision
socio technical
image processing
bayesian networks
argumentation semantics