Revisiting Maximum Satisfiability and Related Problems in Data Streams.
Hoa T. VuPublished in: COCOON (2022)
Keyphrases
- related problems
- data streams
- maximum satisfiability
- boolean satisfiability
- max sat
- combinatorial problems
- concept drift
- sat problem
- sat solvers
- branch and bound algorithm
- constraint programming
- symmetry breaking
- satisfiability problem
- genetic algorithm
- domain independent
- probabilistic planning
- np complete
- search algorithm