Gange G, Harabor D, Stuckey PJ. Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation. ICAPS [Internet]. 2021May25 [cited 2024Sep.22];29(1):155-62. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/3471