Dynamic SAT with Decision Change Costs: Formalization and Solutions.

Daisuke Hatano Katsutoshi Hirayama

Published in: IJCAI (2011)

Keyphrases

dynamic environments
decision making
decision rules
decision makers
decision problems
solution quality
total cost
changing environment
cost savings
decision trees
search algorithm
expert systems
formal model
satisfiability problem