Shared SAT Solvers and SAT Memory in Distributed Business Applications.
Sergejs KozlovicsPublished in: DB&IS (2022)
Keyphrases
- sat solvers
- business applications
- propositional satisfiability
- orders of magnitude
- sat solving
- sat problem
- max sat
- sat instances
- boolean satisfiability
- business processes
- search strategies
- search space
- data mining
- database applications
- search tree
- web services
- constraint satisfaction
- web applications
- sat encodings
- business process
- dynamic programming
- search algorithm
- clause learning
- databases
- relational databases
- optimal solution
- reinforcement learning