Rintanen, Jussi

26 publications

AAAI 2024 Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting Mojtaba Elahi, Jussi Rintanen

AAAI 2022 Efficient Encoding of Cost Optimal Delete-Free Planning as SAT Masood Feyzbakhsh Rankooh, Jussi Rintanen

AAAI 2022 Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination Masood Feyzbakhsh Rankooh, Jussi Rintanen

AAAI 2017 Schematic Invariants by Reduction to Ground Invariants Jussi Rintanen

IJCAI 2017 Temporal Planning with Clock-Based SMT Encodings Jussi Rintanen

AAAI 2015 Discretization of Temporal Models with Application to Planning with SMT Jussi Rintanen

AAAI 2015 Impact of Modeling Languages on the Theory and Practice in Planning Research Jussi Rintanen

IJCAI 2015 Models of Action Concurrency in Temporal Planning Jussi Rintanen

IJCAI 2013 Computing Upper Bounds on Lengths of Transition Sequences Jussi Rintanen, Charles Orgill Gretton

NeurIPS 2013 Learning Chordal Markov Networks by Constraint Satisfaction Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik Nyman, Johan Pensar

IJCAI 2011 Planning with SAT, Admissible Heuristics and A* Jussi Rintanen

AAAI 2011 Planning with Specialized SAT Solvers Jussi Rintanen

AAAI 2007 Asymptotically Optimal Encodings of Conformant Planning in QBF Jussi Rintanen

IJCAI 2007 Diagnosability Testing with Satisfiability Algorithms Jussi Rintanen, Alban Grastien

IJCAI 2007 Diagnosers and Diagnosability of Succinct Transition Systems Jussi Rintanen

AAAI 2007 Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms Alban Grastien, Anbulagan, Jussi Rintanen, Elena Kelareva

IJCAI 2007 Planning for Temporally Extended Goals as Propositional Satisfiability Robert Mattmüller, Jussi Rintanen

IJCAI 2007 Planning via Petri Net Unfolding Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White

IJCAI 2005 Conditional Planning in the Discrete Belief Space Jussi Rintanen

AAAI 2004 Distance Estimates for Planning in the Discrete Belief Space Jussi Rintanen

IJCAI 2001 Complexity of Probabilistic Planning Under Average Rewards Jussi Rintanen

AAAI 2000 An Iterative Algorithm for Synthesizing Invariants Jussi Rintanen

JAIR 1999 Constructing Conditional Plans by a Theorem-Prover Jussi Rintanen

IJCAI 1999 Improvements to the Evaluation of Quantified Boolean Formulae Jussi Rintanen

JAIR 1998 Complexity of Prioritized Default Logics Jussi Rintanen

IJCAI 1995 On Specificity in Default Logic Jussi Rintanen