ML Anthology

Dynamic SAT with Decision Change Costs: Formalization and Solutions

Daisuke Hatano, Katsutoshi Hirayama
IJCAI 2011 pp. 560-565
doi:10.5591/978-1-57735-516-8/IJCAI11-101 /ijcai/2011/hatano2011ijcai-dynamic/
IJCAI Semantic Scholar

Cite

Text

Hatano and Hirayama. "Dynamic SAT with Decision Change Costs: Formalization and Solutions." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-101

Markdown

[Hatano and Hirayama. "Dynamic SAT with Decision Change Costs: Formalization and Solutions." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/hatano2011ijcai-dynamic/) doi:10.5591/978-1-57735-516-8/IJCAI11-101

BibTeX

@inproceedings{hatano2011ijcai-dynamic,
  title     = {{Dynamic SAT with Decision Change Costs: Formalization and Solutions}},
  author    = {Hatano, Daisuke and Hirayama, Katsutoshi},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {560-565},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-101},
  url       = {https://mlanthology.org/ijcai/2011/hatano2011ijcai-dynamic/}
}