| 2024 | AAAI | Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting. | Mojtaba Elahi, Jussi Rintanen |
| 2024 | ECAI | Symmetry-Breaking Constraints for Directed Graphs. | Jussi Rintanen, Masood Feyzbakhsh Rankooh |
| 2024 | ICAPS | Termination Properties of Transition Rules for Indirect Effects. | Mojtaba Elahi, Saurabh Fadnis, Jussi Rintanen |
| 2023 | JELIA | Planning with Partial Observability by SAT. | Saurabh Fadnis, Jussi Rintanen |
| 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 | PRICAI | Generalized 3-Valued Belief States in Conformant Planning. | Saurabh Fadnis, Jussi Rintanen |
| 2017 | AAAI | Schematic Invariants by Reduction to Ground Invariants. | Jussi Rintanen |
| 2017 | IJCAI | Temporal Planning with Clock-Based SMT Encodings. | Jussi Rintanen |
| 2015 | AAAI | Discretization of Temporal Models with Application to Planning with SMT. | Jussi Rintanen |
| 2015 | AAAI | Impact of Modeling Languages on the Theory and Practice in Planning Research. | Jussi Rintanen |
| 2015 | IJCAI | Models of Action Concurrency in Temporal Planning. | Jussi Rintanen |
| 2014 | ECAI | Answer Set Programming as SAT modulo Acyclicity. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | JELIA | SAT Modulo Graphs: Acyclicity. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2014 | JELIA | Constraint-Based Algorithm for Computing Temporal Invariants. | Jussi Rintanen |
| 2014 | KR | ASP Encodings of Acyclicity Properties. | Martin Gebser, Tomi Janhunen, Jussi Rintanen |
| 2013 | IJCAI | Computing Upper Bounds on Lengths of Transition Sequences. | Jussi Rintanen, Charles Orgill Gretton |
| 2012 | ECAI | Complexity of Conditional Planning under Partial Observability and Infinite Executions. | Jussi Rintanen |
| 2012 | ECAI | Engineering Efficient Planners with SAT. | Jussi Rintanen |
| 2011 | AAAI | Planning with Specialized SAT Solvers. | Jussi Rintanen |
| 2011 | IJCAI | Planning with SAT, Admissible Heuristics and A*. | Jussi Rintanen |
| 2010 | CP | Heuristics for Planning with SAT. | Jussi Rintanen |
| 2008 | ECAI | Regression for Classical and Nondeterministic Planning. | Jussi Rintanen |
| 2008 | ECAI | A New Approach to Planning in Networks. | Jussi Rintanen |
| 2008 | KR | Planning Graphs and Propositional Clause-Learning. | Jussi Rintanen |
| 2007 | AAAI | Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms. | Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva |
| 2007 | AAAI | Asymptotically Optimal Encodings of Conformant Planning in QBF. | Jussi Rintanen |
| 2007 | IJCAI | Planning via Petri Net Unfolding. | Sarah L. Hickmott, Jussi Rintanen, Sylvie Thibaux, Langford B. White |
| 2007 | IJCAI | Planning for Temporally Extended Goals as Propositional Satisfiability. | Robert Mattmller, Jussi Rintanen |
| 2007 | IJCAI | Diagnosers and Diagnosability of Succinct Transition Systems. | Jussi Rintanen |
| 2007 | IJCAI | Diagnosability Testing with Satisfiability Algorithms. | Jussi Rintanen, Alban Grastien |
| 2006 | ECAI | Compact Representation of Sets of Binary Constraints. | Jussi Rintanen |
| 2006 | ECAI | Unified Definition of Heuristics for Classical Planning. | Jussi Rintanen |
| 2005 | IJCAI | Conditional Planning in the Discrete Belief Space. | Jussi Rintanen |
| 2004 | AAAI | Distance Estimates for Planning in the Discrete Belief Space. | Jussi Rintanen |
| 2004 | ECAI | Evaluation Strategies for Planning as Satisfiability. | Jussi Rintanen |
| 2004 | JELIA | Parallel Encodings of Classical Planning as Satisfiability. | Jussi Rintanen, Keijo Heljanko, Ilkka Niemel |
| 2004 | KR | Phase Transitions in Classical Planning: An Experimental Study. | Jussi Rintanen |
| 2001 | IJCAI | Complexity of Probabilistic Planning under Average Rewards. | Jussi Rintanen |
| 2001 | LPAR | Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae. | Jussi Rintanen |
| 2000 | AAAI | An Iterative Algorithm for Synthesizing Invariants. | Jussi Rintanen |
| 2000 | ECAI | Incorporation of Temporal Logic Control into Plan Operators. | Jussi Rintanen |
| 1999 | IJCAI | Improvements to the Evaluation of Quantified Boolean Formulae. | Jussi Rintanen |
| 1998 | KR | A Planning Algorithm not based on Directional Search. | Jussi Rintanen |
| 1995 | IJCAI | On Specificity in Default Logic. | Jussi Rintanen |
| 1994 | JELIA | Prioritized Autoepistemic Logic. | Jussi Rintanen |
| 1992 | ECAI | On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. | Ilkka Niemel, Jussi Rintanen |
| 1992 | KR | On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. | Ilkka Niemel, Jussi Rintanen |