total-unimodularity

本文介绍了一种基于对齐的全幺模线性规划重构方法，用于一致性检查。该方法通过为具有偏差的长轨迹提供加速，补充了A*搜索。该方法实现了平均38.6%的运行时间节省，选择准确率达到96%。