On Finer Separations Between Subclasses of Read-Once Oblivious ABPs.

C. Ramya Anamay Tengse

Published in: STACS (2022)

Keyphrases

dnf formulas
monotone dnf formulas
coarse to fine
max sat
read once formulas
recursive functions
website
database
computer vision
neural network
machine learning
information systems
data structure
lower bound
sat problem