Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings.

Petr Kucera Petr Savický

Published in: CoRR (2018)

Keyphrases

high speed
sat instances
analog circuits
database
case study
np complete
planning problems
boolean functions
digital circuits
wave propagation