A Complete State-Space Based Temporal Planner. - Masood Feyzbakhsh Rankooh; Gholamreza Ghassem-Sani (ICTAI, 2011)

Using Satisfiability for Non-optimal Temporal Planning. - Masood Feyzbakhsh Rankooh; Ali Mahjoob; Gholamreza Ghassem-Sani (JELIA, 2012)

New Encoding Methods for SAT-Based Temporal Planning. - Masood Feyzbakhsh Rankooh; Gholamreza Ghassem-Sani (ICAPS, 2013)

ITSAT: An Efficient SAT-Based Temporal Planner. - Masood Feyzbakhsh Rankooh; Gholamreza Ghassem-Sani (J. Artif. Intell. Res., 2015)

Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination. - Masood Feyzbakhsh Rankooh; Jussi Rintanen (AAAI, 2022)

Efficient Encoding of Cost Optimal Delete-Free Planning as SAT. - Masood Feyzbakhsh Rankooh; Jussi Rintanen (AAAI, 2022)

Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming. - Masood Feyzbakhsh Rankooh; Jussi Rintanen (ICAPS, 2022)

Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. - Masood Feyzbakhsh Rankooh; Tomi Janhunen (LPNMR, 2022)

Short Boolean Formulas as Explanations in Practice. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (JELIA, 2023)

Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. - Anssi Yli-Jyrä; Masood Feyzbakhsh Rankooh; Tomi Janhunen (PADL, 2023)

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs. - Masood Feyzbakhsh Rankooh; Tomi Janhunen (Theory Pract. Log. Program., 2023)

Interpretable Classifiers for Tabular Data via Feature Selection and Discretization. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (DAO-XAI@ECAI, 2024)

Symmetry-Breaking Constraints for Directed Graphs. - Jussi Rintanen; Masood Feyzbakhsh Rankooh (ECAI, 2024)

Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming. - Masood Feyzbakhsh Rankooh; Tomi Janhunen (IJCAI, 2024)

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract). - Masood Feyzbakhsh Rankooh; Tomi Janhunen (IJCAI, 2024)

Interpretable classifiers for tabular data via discretization and feature selection. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (CoRR, 2024)

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (CoRR, 2024)

Explainability via Short Formulas: the Case of Propositional Logic with Implementation. - Reijo Jaakkola; Tomi Janhunen; Antti Kuusisto; Masood Feyzbakhsh Rankooh; Miikka Vilander (J. Artif. Intell. Res., 2025)