Jussi Rintanen

Jussi Rintanen

Associate Professor
T313 Dept. Computer Science

An internationally leading researcher in constraint-based methods for planning and decision-making. Prof. Dr Rintanen obtained his doctoral degree from Helsinki University of Technology in 1997, his professor qualification (venia legendi) at the Albert-Ludwigs-University Freiburg in 2005, and held academic positions also at the National ICT Australia / the Australian National University. Prof. Rintanen's main interests in the last 5 years have been in applying AI technologies to automating software production, synthesis of intelligent software systems, as well as the application of constraint-based search methods to decision-making.

Full researcher profile
https://research.aalto.fi/...

Contact information

Publications

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

Masood Feyzbakhsh Rankooh, Jussi Rintanen 2022 Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)

Efficient Encodings of Cost Optimal Delete-Free Planning as SAT

Masood Feyzbakhsh Rankooh, Jussi Rintanen 2022 Proceedings of the AAAI Conference on Artificial Intelligence

Propositional encodings of acyclicity and reachability by using vertex elimination

Masood Feyzbakhsh Rankooh, Jussi Rintanen 2022 Proceedings of the AAAI Conference on Artificial Intelligence

Declarative encodings of acyclicity properties

Martin Gebser, Tomi Janhunen, Jussi Rintanen 2020 Journal of Logic and Computation

Planning for partial observability by SAT and graph constraints

Jussi Rintanen, Binda Pandey 2018 Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS)

Learning discrete decomposable graphical models via constraint optimization

Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik Nyman, Johan Pensar, Jukka Corander 2017 STATISTICS AND COMPUTING

Schematic Invariants by Reduction to Ground Invariants

Jussi Rintanen 2017 Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)

Temporal Planning with Clock-Based SMT Encodings

Jussi Rintanen 2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence

Discretization of Temporal Models with Application to Planning with SMT

Jussi Rintanen 2015 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, 2015

Impact of Modeling Languages on the Theory and Practice in Planning Research

Jussi Rintanen 2015 29th AAAI Conference on Artificial Intelligence (AAAI), Austin, Texas, January 27-30, 2015