Optimal Streaming Approximations for all Boolean Max-2CSPs.

Chi-Ning Chou Alexander Golovnev Santhoshini Velusamy

Published in: CoRR (2020)

Keyphrases

closed form
data streams
constraint satisfaction
dynamic programming
constraint propagation
real time
constraint satisfaction problems
real valued
boolean functions
search space
temporal reasoning
temporal constraints
constraint networks
symmetry breaking
real time streaming