Varicap threshold logic.

Samed Maltabas Martin Margala Ugur Çilingiroglu

Published in: ACM Great Lakes Symposium on VLSI (2009)

Keyphrases

classical logic
logic programming
automated reasoning
threshold selection
multi valued
set theory
logic programs
denoising
modal logic
data mining
evolutionary algorithm
expert systems
computational properties
defeasible logic
threshold values
proof theory
knowledge base