Jussi Rintanen

Citeras av

	Alla	Sedan 2020
Citat	3984	889
h-index	34	14
i10-index	62	27

240

120

180

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 47 71 61 114 96 162 144 133 132 153 130 148 186 173 197 235 210 229 217 171 231 158 159 167 156 18

Offentlig åtkomst

Visa alla

12 artiklar

0 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Tomi JanhunenTampere University, FinlandVerifierad e-postadress på tuni.fi
Alban GrastienResearch Fellow at HMI, ANUVerifierad e-postadress på anu.edu.au
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiVerifierad e-postadress på helsinki.fi
Martin GebserUniversity of KlagenfurtVerifierad e-postadress på aau.at
Johan PensarAssociate Professor, Statistics and Data Science, University of OsloVerifierad e-postadress på math.uio.no
Jukka CoranderUiO, Wellcome Sanger Institute, University of HelsinkiVerifierad e-postadress på medisin.uio.no
Masood Feyzbakhsh RankoohUniversity of HelsinkiVerifierad e-postadress på helsinki.fi
Dr Anbu AnbulaganResearch ScientistVerifierad e-postadress på anu.edu.au
Enrico GiunchigliaDIBRIS - Università di GenovaVerifierad e-postadress på unige.it
Eugene FreuderProfessor Emeritus, University College CorkVerifierad e-postadress på insight-centre.org
Henry KautzProfessor Emeritus of Computer Science, University of RochesterVerifierad e-postadress på cs.rochester.edu
Robert FourerAMPL Optimization & Northwestern UniversityVerifierad e-postadress på ampl.com
Austin TateEmeritus Professor of Knowledge-Based Systems, Informatics, University of EdinburghVerifierad e-postadress på ed.ac.uk
Robert P. GoldmanResearch Fellow, SIFT, LLCVerifierad e-postadress på sift.net
Langford B WhiteProfessor, Electrical and Electronic Engineering, University of AdelaideVerifierad e-postadress på adelaide.edu.au
Sylvie ThiebauxThe Australian National University & LAAS-CNRS, University of ToulouseVerifierad e-postadress på anu.edu.au
Martin WehrleVerifierad e-postadress på informatik.uni-freiburg.de
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Verifierad e-postadress på cs.uni-saarland.de
Robert MattmüllerUniversity of Freiburg, GermanyVerifierad e-postadress på robert-mattmueller.de
Patrik HaslumAustralian National UniversityVerifierad e-postadress på anu.edu.au

Följ

Jussi Rintanen

Aalto University

Verifierad e-postadress på aalto.fi - Startsida

artificial intelligence automated reasoning search automated decision-making model-based software synthesis


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Constructing conditional plans by a theorem-prover J Rintanen Journal of Artificial Intelligence Research 10, 323-352, 1999	362	1999
Planning as satisfiability: parallel plans and algorithms for plan search J Rintanen, K Heljanko, I Niemelä Artificial Intelligence 170 (12-13), 1031-1080, 2006	318	2006
Complexity of Planning with Partial Observability. J Rintanen ICAPS 4, 345-354, 2004	236	2004
Planning as satisfiability: Heuristics J Rintanen Artificial intelligence 193, 45-86, 2012	222	2012
Improvements to the evaluation of quantified boolean formulae J Rintanen IJCAI 99, 1192-1197, 1999	176	1999
Madagascar: Scalable planning with SAT J Rintanen Proceedings of the 8th International Planning Competition (IPC-2014) 21, 1-5, 2014	125	2014
An iterative algorithm for synthesizing invariants J Rintanen AAAI/IAAI, 806-811, 2000	124	2000
Complexity of Concurrent Temporal Planning. J Rintanen ICAPS 7, 280-287, 2007	104	2007
Diagnosis of discrete-event systems using satisfiability algorithms A Grastien, JR Anbulagan, J Rintanen, E Kelareva AAAI, 305-310, 2007	102	2007
Regression for classical and nondeterministic planning J Rintanen ECAI 2008, 568-572, 2008	99	2008
A planning algorithm not based on directional search J Rintanen KR, 617-625, 1998	97	1998
Constraints and AI planning A Nareyek, EC Freuder, R Fourer, E Giunchiglia, RP Goldman, H Kautz, ... IEEE Intelligent Systems 20 (2), 62-72, 2005	94	2005
Asymptotically optimal encodings of conformant planning in QBF J Rintanen AAAI 2007, 1045-1050, 2007	91	2007
Planning via Petri Net Unfolding. SL Hickmott, J Rintanen, S Thiébaux, LB White IJCAI 7, 1904-1911, 2007	87	2007
Engineering efficient planners with SAT J Rintanen ECAI 2012, 684-689, 2012	84	2012
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	79	2012
Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae J Rintanen International Conference on Logic for Programming Artificial Intelligence …, 2001	78	2001
Symmetry Reduction for SAT Representations of Transition Systems. J Rintanen ICAPS, 32-41, 2003	77	2003
Diagnosability testing with satisfiability algorithms A Grastien, J Rintanen IJCAI 07, 2007	74	2007
Planning and SAT J Rintanen Handbook of Satisfiability, 483-504, 2009	72	2009

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare