Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas

Amer E. Mouawad, Naomi Nishimura, Vinayak Pathak, Venkatesh Raman 0001. Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas. SIAM J. Discrete Math., 31(3):2185-2200, 2017. [doi]

Abstract

Abstract is missing.