Sign in

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

Shinji KimuraTakashi HoriyamaMasaki NakanishiHirotsugu 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