Satisfiability in multi-valued circuits.

Pawel M. Idziak Jacek Krzaczkowski

Published in: LICS (2018)

Keyphrases

multi valued
logic synthesis
single valued
multiple valued
propositional logic
normal form
truth values
database
computational complexity
boolean functions
computer vision
social networks
search algorithm
high speed
undirected graph