Ricardo Salmon, Pascal Poupart. On the Relationship Between Satisfiability and Markov Decision Processes. In Amir Globerson, Ricardo Silva, editors, Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, July 22-25, 2019. pages 407, AUAI Press, 2019. [doi]
@inproceedings{SalmonP19,
title = {On the Relationship Between Satisfiability and Markov Decision Processes},
author = {Ricardo Salmon and Pascal Poupart},
year = {2019},
url = {http://auai.org/uai2019/proceedings/papers/407.pdf},
researchr = {https://researchr.org/publication/SalmonP19},
cites = {0},
citedby = {0},
pages = {407},
booktitle = {Proceedings of the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI 2019, Tel Aviv, Israel, July 22-25, 2019},
editor = {Amir Globerson and Ricardo Silva},
publisher = {AUAI Press},
}