Login / Signup
Satisfiability in multi-valued circuits.
Pawel M. Idziak
Jacek Krzaczkowski
Published in:
CoRR (2017)
Keyphrases
</>
multi valued
logic synthesis
single valued
propositional logic
multiple valued
high speed
truth values
search algorithm
computational complexity
heuristic search
normal form
special case
object oriented
quantum computing