RelView - An OBDD-Based Computer Algebra System for Relations.

Rudolf Berghammer Frank Neumann

Published in: CASC (2005)

Keyphrases

computer algebra
theorem prover
computer algebra systems
semantic relations
neural network
artificial intelligence
model checking
case study
boolean functions
causal relations
ordered binary decision diagrams