Dynamic SAT with Decision Change Costs: Formalization and Solutions.

Daisuke Hatano, Katsutoshi Hirayama

Browse the full IJCAI paper archive.