Folding of logic functions and its application to look up table compaction.

Shinji Kimura Takashi Horiyama Masaki Nakanishi Hirotsugu Kajihara

Published in: ICCAD (2002)

Keyphrases

multi valued
logic programming
data sets
expert systems
computational properties
logic programs
automated reasoning
classical logic
set theory
functional programs