Revisiting maximum satisfiability and related problems in data streams.

Published in: Theor. Comput. Sci. (2024)

Keyphrases

related problems
data streams
maximum satisfiability
boolean satisfiability
max sat
combinatorial problems
sat problem
concept drift
probabilistic planning
itemsets
linear programming
satisfiability problem
randomly generated
constraint satisfaction problems
np complete
upper bound
special case