Recognizing Read-Once Functions from Depth-Three Formulas.

Alexander Kozachinskiy

Published in: Theory Comput. Syst. (2020)

Keyphrases

read once formulas
search engine
depth information
automatic recognition
input image
orders of magnitude
satisfiability problem