Amer E. Mouawad, Naomi Nishimura, Vinayak Pathak, Venkatesh Raman. Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas. In Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi 0001, Bettina Speckmann, editors, Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I. Volume 9134 of Lecture Notes in Computer Science, pages 985-996, Springer, 2015. [doi]
Abstract is missing.