@article{dperdynamicprogrammingforexistrandom,
  title = {DPER: Dynamic Programming for Exist-Random Stochastic SAT},
  author = {Vu H. N. Phan and Moshe Y. Vardi},
  year = {2022},
  eprint = {2205.09826},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2205.09826v1},
}