Masood Feyzbakhsh Rankooh

A Complete State-Space Based Temporal Planner

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani, Gholamreza Ghassem-Sani, 2011, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence.

ITSAT: An Efficient SAT-Based Temporal Planner

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani, Gholamreza Ghassem-Sani, 2015, J. Artif. Intell. Res..

Using Satisfiability for Non-optimal Temporal Planning

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani, Ali Mahjoob, 2012, JELIA.

New Encoding Methods for SAT-Based Temporal Planning

Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani, Gholamreza Ghassem-Sani, 2013, ICAPS.

Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination pdf

Jussi Rintanen, Masood Feyzbakhsh Rankooh, J. Rintanen, 2021, AAAI.

Efficient Encoding of Cost Optimal Delete-Free Planning as SAT

Masood Feyzbakhsh Rankooh, J. Rintanen, 2021 .

Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming

Masood Feyzbakhsh Rankooh, J. Rintanen, 2022, ICAPS.

Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs

Masood Feyzbakhsh Rankooh, T. Janhunen, 2023, Theory and Practice of Logic Programming.

Explainability via Short Formulas: the Case of Propositional Logic with Implementation

Masood Feyzbakhsh Rankooh, T. Janhunen, Antti Kuusisto, 2022, HYDRA/RCRA@LPNMR.