1. Bui, Q.T., Deville, Y., Pham, Q.D.: Exact methods for solving the elementary shortest and longest path problems. Ann. Oper. Res. 244(2), 313–348 (2016). https://doi.org/10.1007/s10479-016-2116-5
2. Lecture Notes in Computer Science;M Carlsson,1997
3. Chu, G., Stuckey, P.J., Schutt, A., Ehlers, T., Gange, G., Francis, K.: Chuffed, a lazy clause generation solver. https://github.com/chuffed/chuffed
4. Cohen, Y., Stern, R., Felner, A.: Solving the longest simple path problem with heuristic search. In: Beck, J.C., Buffet, O., Hoffmann, J., Karpas, E., Sohrabi, S. (eds.) Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, Nancy, France, 26–30 October 2020, pp. 75–79. AAAI Press (2020). https://aaai.org/ojs/index.php/ICAPS/article/view/6647
5. Collet, M., Gotlieb, A., Lazaar, N., Mossige, M.: Stress testing of single-arm robots through constraint-based generation of continuous trajectories. In: Proceedings of the 1st IEEE Artificial Intelligence Testing Conference (AI Test 2019) (April 2019)