Login / Signup
Revisiting Maximum Satisfiability and Related Problems in Data Streams.
Hoa T. Vu
Published in:
CoRR (2022)
Keyphrases
</>
related problems
data streams
maximum satisfiability
boolean satisfiability
max sat
sat problem
combinatorial problems
concept drift
lower bound
combinatorial optimization
sat solvers
search algorithm
itemsets
constraint satisfaction
branch and bound
branch and bound algorithm