Representations of Logic Functions Using QRMDDs.

Shinobu Nagayama Tsutomu Sasao Yukihiro Iguchi Munehiro Matsuura

Published in: ISMVL (2002)

Keyphrases

multi valued
logic programming
databases
machine learning
automated reasoning
asynchronous circuits
artificial intelligence
information systems
search algorithm
basis functions
expressive power
modal logic
representation scheme
computational properties
predicate logic
abductive reasoning