An incremental SAT-based approach for solving the real-time taxi-sharing service problem.
Aolong ZhaQiong ChangItsuki NodaPublished in: Discret. Appl. Math. (2023)
Keyphrases
- real time
- stochastic local search
- np complete problems
- web services
- low cost
- orders of magnitude
- search algorithm
- service providers
- graph coloring
- service discovery
- data sharing
- sat solving
- variable ordering
- single server
- service quality
- incremental learning
- propositional satisfiability
- service oriented
- quality of service
- management system
- solving hard
- boolean optimization