Jussi Rintanen

Geciteerd door

	Alles	Sinds 2020
Citaties	3985	890
h-index	34	14
i10-index	62	27

240

120

180

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 47 71 62 113 96 163 143 133 132 153 130 148 187 172 197 235 210 229 217 171 231 158 159 167 157 18

Openbare toegang

Alles bekijken

12 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Tomi JanhunenTampere University, FinlandGeverifieerd e-mailadres voor tuni.fi
Alban GrastienResearch Fellow at HMI, ANUGeverifieerd e-mailadres voor anu.edu.au
Keijo HeljankoProfessor of Computer Science, Department of Computer Science, University of HelsinkiGeverifieerd e-mailadres voor helsinki.fi
Martin GebserUniversity of KlagenfurtGeverifieerd e-mailadres voor aau.at
Johan PensarAssociate Professor, Statistics and Data Science, University of OsloGeverifieerd e-mailadres voor math.uio.no
Jukka CoranderUiO, Wellcome Sanger Institute, University of HelsinkiGeverifieerd e-mailadres voor medisin.uio.no
Masood Feyzbakhsh RankoohUniversity of HelsinkiGeverifieerd e-mailadres voor helsinki.fi
Dr Anbu AnbulaganResearch ScientistGeverifieerd e-mailadres voor anu.edu.au
Enrico GiunchigliaDIBRIS - Università di GenovaGeverifieerd e-mailadres voor unige.it
Eugene FreuderProfessor Emeritus, University College CorkGeverifieerd e-mailadres voor insight-centre.org
Henry KautzProfessor Emeritus of Computer Science, University of RochesterGeverifieerd e-mailadres voor cs.rochester.edu
Robert FourerAMPL Optimization & Northwestern UniversityGeverifieerd e-mailadres voor ampl.com
Austin TateEmeritus Professor of Knowledge-Based Systems, Informatics, University of EdinburghGeverifieerd e-mailadres voor ed.ac.uk
Robert P. GoldmanResearch Fellow, SIFT, LLCGeverifieerd e-mailadres voor sift.net
Langford B WhiteProfessor, Electrical and Electronic Engineering, University of AdelaideGeverifieerd e-mailadres voor adelaide.edu.au
Sylvie ThiebauxThe Australian National University & LAAS-CNRS, University of ToulouseGeverifieerd e-mailadres voor anu.edu.au
Martin WehrleGeverifieerd e-mailadres voor informatik.uni-freiburg.de
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Geverifieerd e-mailadres voor cs.uni-saarland.de
Robert MattmüllerUniversity of Freiburg, GermanyGeverifieerd e-mailadres voor robert-mattmueller.de
Patrik HaslumAustralian National UniversityGeverifieerd e-mailadres voor anu.edu.au

Volgen

Jussi Rintanen

Aalto University

Geverifieerd e-mailadres voor aalto.fi - Homepage

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


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	223	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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs