| ITSAT: an efficient sat-based temporal planner MF Rankooh, G Ghassem-Sani Journal of Artificial Intelligence Research 53, 541-632, 2015 | 43 | 2015 |
| Using satisfiability for non-optimal temporal planning MF Rankooh, A Mahjoob, G Ghassem-Sani Logics in Artificial Intelligence: 13th European Conference, JELIA 2012 …, 2012 | 11 | 2012 |
| New encoding methods for sat-based temporal planning MF Rankooh, G Ghassem-Sani Proceedings of the International Conference on Automated Planning and …, 2013 | 9 | 2013 |
| Propositional encodings of acyclicity and reachability by using vertex elimination MF Rankooh, J Rintanen AAAI Conference on Artificial Intelligence, 2022 | 8 | 2022 |
| Explainability via short formulas: the case of propositional logic with implementation R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander arXiv preprint arXiv:2209.01403, 2022 | 5 | 2022 |
| Pruning redundancy in answer set optimization applied to preventive maintenance scheduling A Yli-Jyrä, MF Rankooh, T Janhunen International Symposium on Practical Aspects of Declarative Languages, 279-294, 2023 | 3 | 2023 |
| Efficient Encoding of Cost Optimal Delete-Free Planning as SAT MF Rankooh, J Rintanen Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI-22 …, 2022 | 2 | 2022 |
| Short boolean formulas as explanations in practice R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander European Conference on Logics in Artificial Intelligence, 90-105, 2023 | 1 | 2023 |
| Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination M Feyzbakhsh Rankooh, T Janhunen International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022 | 1 | 2022 |
| Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming MF Rankooh, J Rintanen International Conference on Automated Planning and Scheduling, 2022 | 1 | 2022 |
| A Complete State-Space Based Temporal Planner MF Rankooh, G Ghassem-Sani 2011 IEEE 23rd International Conference on Tools with Artificial …, 2011 | 1 | 2011 |
| Interpretable classifiers for tabular data via discretization and feature selection R Jaakkola, T Janhunen, A Kuusisto, MF Rankooh, M Vilander arXiv preprint arXiv:2402.05680, 2024 | | 2024 |
| Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs MF Rankooh, T Janhunen Theory and Practice of Logic Programming 23 (4), 782-796, 2023 | | 2023 |
| Efficient Encodings of Cost Optimal Delete-Free Planning as SAT MF Rankooh, J Rintanen AAAI Conference on Artificial Intelligence, 2022 | | 2022 |
