| 2026 | CP | Revisiting Integer Programming Encodings of Acyclicity. | Masood Feyzbakhsh Rankooh, Matti Jrvisalo |
| 2026 | KR | SAT-based ASP Solving and Optimization via a General Transitive Closure Framework. | Masood Feyzbakhsh Rankooh, Matti Jrvisalo |
| 2025 | KR | Reasoning in Assumption-Based Argumentation via SAT. | Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Jrvisalo |
| 2025 | KR | Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability. | Masood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Jrvisalo |
| 2024 | ECAI | Symmetry-Breaking Constraints for Directed Graphs. | Jussi Rintanen, Masood Feyzbakhsh Rankooh |
| 2024 | IJCAI | Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming. | Masood Feyzbakhsh Rankooh, Tomi Janhunen |
| 2024 | IJCAI | Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract). | Masood Feyzbakhsh Rankooh, Tomi Janhunen |
| 2023 | JELIA | Short Boolean Formulas as Explanations in Practice. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2023 | PADL | Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling. | Anssi Yli-Jyr, Masood Feyzbakhsh Rankooh, Tomi Janhunen |
| 2022 | AAAI | Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination. | Masood Feyzbakhsh Rankooh, Jussi Rintanen |
| 2022 | AAAI | Efficient Encoding of Cost Optimal Delete-Free Planning as SAT. | Masood Feyzbakhsh Rankooh, Jussi Rintanen |
| 2022 | LPNMR | Explainability via Short Formulas: the Case of Propositional Logic with Implementation. | Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander |
| 2022 | LPNMR | Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination. | Masood Feyzbakhsh Rankooh, Tomi Janhunen |
| 2012 | JELIA | Using Satisfiability for Non-optimal Temporal Planning. | Masood Feyzbakhsh Rankooh, Ali Mahjoob, Gholamreza Ghassem-Sani |
| 2011 | ICTAI | A Complete State-Space Based Temporal Planner. | Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani |