ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
Takehiro Ito, Jun Kawahara, Yu Nakahata, Takehide Soh, Akira Suzuki, Junichi Teruyama, Takahisa Toda
Topics & Concepts
Control reconfigurationComputer scienceVertex (graph theory)Transformation (genetics)Set (abstract data type)Mathematical optimizationBinary decision diagramGraphShortest path problemTheoretical computer scienceSpace (punctuation)AlgorithmMathematicsOperating systemProgramming languageChemistryBiochemistryGeneEmbedded systemFormal Methods in VerificationSoftware Reliability and Analysis ResearchSoftware Testing and Debugging Techniques