@misc{indiciae737e8c3cf4d8,
  title = {Shortest reconfiguration paths in the solution space of Boolean formulas},
  author = {Amer E. Mouawad and Naomi Nishimura and Vinayak Pathak and Venkatesh Raman},
  year = {2014},
  url = {https://arxiv.org/abs/1404.3801},
  note = {Source identifier: 1404.3801}
}