Computing Optimal Decision Sets with SAT.
Jinqiang YuAlexey IgnatievPeter J. StuckeyPierre Le BodicPublished in: CoRR (2020)
Keyphrases
- decision making
- dynamic programming
- closed form
- search algorithm
- orders of magnitude
- optimal design
- supply chain
- decision makers
- constraint satisfaction problems
- data sets
- decision rules
- optimal solution
- search strategies
- satisfiability problem
- sat solvers
- optimal strategy
- decision trees
- stochastic local search algorithms