SAT-Based Approach for Learning Optimal Decision Trees with Non-Binary Features. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (CP, 2021)

SAT-Based Learning of Compact Binary Decision Diagrams for Classification. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (CP, 2023)

Optimal Decision Trees For Interpretable Clustering with Constraints. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (IJCAI, 2023)

SAT-based optimal classification trees for non-binary data. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (Constraints An Int. J., 2023)

Neural Sequence Generation with Constraints via Beam Search with Cuts: A Case Study on VRP. - Pouya Shati; Eldan Cohen; Sheila A. McIlraith (SOCS, 2024)

Bi-Criteria Diverse Plan Selection via Beam Search Approximation. - Shanhe Zhong; Pouya Shati; Eldan Cohen (SOCS, 2024)

Optimal Decision Trees for Interpretable and Constrained Clustering. - Pouya Shati; Yuliang Song; Eldan Cohen; Sheila A. McIlraith (J. Artif. Intell. Res., 2025)