Dynamic SAT with Decision Change Costs: Formalization and Solutions

Open in new window