@misc{indiciae747004b73a59,
  title = {DPER: Dynamic Programming for Exist-Random Stochastic SAT},
  author = {Vu H. N. Phan and Moshe Y. Vardi},
  year = {2022},
  url = {https://arxiv.org/abs/2205.09826},
  note = {Source identifier: 2205.09826}
}