no code implementations • 19 Jun 2023 • Suwei Yang, Victor C. Liang, Kuldeep S. Meel
In this work, our contributions are two-fold: first, we introduce a relaxed encoding that uses a linear number of variables with respect to the number of vertices in a road network graph to significantly reduce the size of resultant decision diagrams.