Login / Signup

On Synthesis of Boolean Expressions for Memristive Devices Using Sequential Implication Logic.

Jussi H. PoikonenEero LehtonenMika Laiho
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2012)
Keyphrases
  • boolean expressions
  • normal form
  • real valued
  • conjunctive queries
  • logic programming
  • functional dependencies
  • mining frequent
  • database
  • query language