Jussi Rintanen
Title
Cited by
Cited by
Year
Constructing conditional plans by a theorem-prover
J Rintanen
Journal of Artificial Intelligence Research 10, 323-352, 1999
3251999
Planning as satisfiability: parallel plans and algorithms for plan search
J Rintanen, K Heljanko, I Niemelä
Artificial Intelligence 170 (12-13), 1031-1080, 2006
2472006
Complexity of Planning with Partial Observability.
J Rintanen
ICAPS 4, 345-354, 2004
1732004
Improvements to the evaluation of quantified boolean formulae
J Rintanen
IJCAI 99, 1192-1197, 1999
1661999
Planning as satisfiability: Heuristics
J Rintanen
Artificial intelligence 193, 45-86, 2012
1572012
An iterative algorithm for synthesizing invariants
J Rintanen
AAAI/IAAI, 806-811, 2000
1112000
A planning algorithm not based on directional search
J Rintanen
KR, 617-625, 1998
961998
Diagnosis of discrete-event systems using satisfiability algorithms
A Grastien, JR Anbulagan, J Rintanen, E Kelareva
AAAI, 305-310, 2007
952007
Constraints and AI planning
A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ...
IEEE Intelligent Systems 20 (2), 62-72, 2005
842005
Asymptotically optimal encodings of conformant planning in QBF
J Rintanen
AAAI 2007, 1045-1050, 2007
802007
Complexity of Concurrent Temporal Planning.
J Rintanen
ICAPS 7, 280-287, 2007
752007
Madagascar: Scalable planning with SAT
J Rintanen
Proceedings of the 8th International Planning Competition (IPC-2014) 21, 2014
712014
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
712007
Symmetry Reduction for SAT Representations of Transition Systems.
J Rintanen
ICAPS, 32-41, 2003
692003
Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae
J Rintanen
International Conference on Logic for Programming Artificial Intelligence …, 2001
692001
Optimal Reconfiguration for Supply Restoration With Informed A Search
A Botea, J Rintanen, D Banerjee
IEEE Transactions on Smart Grid 3 (2), 583-593, 2012
652012
Regression for Classical and Nondeterministic Planning.
J Rintanen
ECAI 178, 568-572, 2008
632008
Diagnosability Testing with Satisfiability Algorithms.
J Rintanen, A Grastien
IJCAI, 532-537, 2007
612007
Engineering Efficient Planners with SAT.
J Rintanen
ECAI 242, 684-689, 2012
582012
Planning and SAT.
J Rintanen
Handbook of Satisfiability 185, 483-504, 2009
532009
The system can't perform the operation now. Try again later.
Articles 1–20