Login / Signup
Closed-form expressions for the sketching approximability of (some) symmetric Boolean CSPs.
Joanna Boyland
Michael Hwang
Tarun Prasad
Noah Singer
Santhoshini Velusamy
Published in:
CoRR (2021)
Keyphrases
</>
closed form expressions
constraint satisfaction problems
closed form
constraint satisfaction
decision diagrams
upper bound
boolean functions
arc consistency
search space
lower bound
special case
higher order
np complete
partition function