TY  - RPRT
TI  - Shortest reconfiguration paths in the solution space of Boolean formulas
AU  - Amer E. Mouawad
AU  - Naomi Nishimura
AU  - Vinayak Pathak
AU  - Venkatesh Raman
PY  - 2014
UR  - https://arxiv.org/abs/1404.3801
ID  - 1404.3801
ER  -