ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.
Takehiro ItoJun KawaharaYu NakahataTakehide SohAkira SuzukiJunichi TeruyamaTakahisa TodaPublished in: CoRR (2022)
Keyphrases
- solving problems
- quadratic programming
- partial constraint satisfaction
- theoretical framework
- solving complex
- sparse linear systems
- optimization problems
- main contribution
- combinatorial optimization
- data sets
- exact solution
- convex quadratic programming
- algebraic equations
- constrained problems
- sequential decision making
- constraint problems
- software architecture
- heuristic search
- shortest path
- probabilistic model
- search algorithm
- web services