Computing Optimal Decision Sets with SAT.

Jinqiang Yu Alexey Ignatiev Peter J. Stuckey Pierre Le Bodic

Published in: CP (2020)

Keyphrases

decision making
dynamic programming
optimal solution
data structure
decision makers
decision problems
closed form
satisfiability problem
optimal control
search problems
decision model