Följ
Jussi Rintanen
Titel
Citeras av
Citeras av
År
Constructing conditional plans by a theorem-prover
J Rintanen
Journal of Artificial Intelligence Research 10, 323-352, 1999
3551999
Planning as satisfiability: parallel plans and algorithms for plan search
J Rintanen, K Heljanko, I Niemelä
Artificial Intelligence 170 (12-13), 1031-1080, 2006
3062006
Complexity of Planning with Partial Observability.
J Rintanen
ICAPS 4, 345-354, 2004
2282004
Planning as satisfiability: Heuristics
J Rintanen
Artificial intelligence 193, 45-86, 2012
2052012
Improvements to the evaluation of quantified boolean formulae
J Rintanen
IJCAI 99, 1192-1197, 1999
1711999
An iterative algorithm for synthesizing invariants
J Rintanen
AAAI/IAAI, 806-811, 2000
1232000
Madagascar: Scalable planning with SAT
J Rintanen
Proceedings of the 8th International Planning Competition (IPC-2014) 21, 1-5, 2014
1172014
Diagnosis of discrete-event systems using satisfiability algorithms
A Grastien, JR Anbulagan, J Rintanen, E Kelareva
AAAI 7, 305-310, 2007
1042007
Complexity of Concurrent Temporal Planning.
J Rintanen
ICAPS 7, 280-287, 2007
982007
A planning algorithm not based on directional search
J Rintanen
KR, 617-625, 1998
981998
Regression for classical and nondeterministic planning
J Rintanen
ECAI 2008, 568-572, 2008
952008
Constraints and AI planning
A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ...
IEEE Intelligent Systems 20 (2), 62-72, 2005
922005
Asymptotically optimal encodings of conformant planning in QBF
J Rintanen
AAAI 2007, 1045-1050, 2007
902007
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
832007
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
782012
Engineering efficient planners with SAT
J Rintanen
ECAI 2012, 684-689, 2012
782012
Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae
J Rintanen
International Conference on Logic for Programming Artificial Intelligence …, 2001
782001
Symmetry Reduction for SAT Representations of Transition Systems.
J Rintanen
ICAPS, 32-41, 2003
772003
Diagnosability testing with satisfiability algorithms
A Grastien, J Rintanen
IJCAI 07, 2007
742007
Planning and SAT.
J Rintanen
Handbook of Satisfiability 185, 483-504, 2009
702009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20