Shared SAT Solvers and SAT Memory in Distributed Business Applications.
Sergejs KozlovicsPublished in: CoRR (2023)
Keyphrases
- sat solvers
- business applications
- propositional satisfiability
- boolean satisfiability
- orders of magnitude
- sat solving
- max sat
- sat problem
- sat instances
- business processes
- constraint satisfaction
- search strategies
- database applications
- search space
- data mining
- search tree
- web services
- sat encodings
- web applications
- boolean formula
- weighted max sat
- constraint programming
- satisfiability problem
- business process
- symmetry breaking
- clause learning
- phase transition
- search algorithm
- davis putnam