Skip navigation
Skip navigation

Browsing by Author Rintanen, Jussi

Or enter first few letters:  
Showing results 1 to 20 of 23

A new approach to planning in networks

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2008
Date CreatedJuly 21-25 2008

Alarm processing with model-based diagnosis of discrete event systems.

Author(s)Bauer, Andreas; Botea, Adi; Grastien, Alban, et al
TypeConference paper
Date Published2011
Date CreatedOctober 4-7 2011

Asymptotically optimal encodings of conformant planning on QBF

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2007
Date CreatedJuly 22-26 2007

Compact representation of sets of binary constraints

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2006
Date CreatedAugust 29-1 September 2006

Complexity of concurrent temporal planning

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2007
Date CreatedSeptember 22-26 2007

Computing Upper Bounds on Lengths of Transition Sequences

Author(s)Rintanen, Jussi; Gretton, Charles
TypeConference paper
Date Published2013
Date CreatedAugust 3-9 2013

Diagnosability testing with satisfiability algorithms

Author(s)Rintanen, Jussi; Grastien, Alban
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

Diagnosers and diagnosability of succinct transition systems

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

Diagnosis of discrete-event systems using satisfiability algorithms

Author(s)Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi, et al
TypeConference paper
Date Published2007
Date CreatedJuly 22-26 2007

Heuristic Planning with SAT: Beyond Uninformed Depth-First Search

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2010
Date CreatedDecember 7 2010

Heuristics for Planning with SAT

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2010
Date CreatedMay 12-16 2010

Heuristics for Planning with SAT and Expressive Action Definitions

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2011
Date CreatedJune 11-16 2011

Modeling and solving diagnosis of discrete-event systems via satisfiability

Author(s)Grastien, Alban; Anbulagan, Anbu; Rintanen, Jussi, et al
TypeConference paper
Date Published2007
Date CreatedMay 29-31 2007

Planning as satisfiability with relaxed E-step plans

Author(s)Wehrle, Martin; Rintanen, Jussi
TypeConference paper
Date Published2007
Date CreatedDecember 2-6 2007

Planning as satisfiability: Parallel plans and algorithms for plan search

Author(s)Rintanen, Jussi; Heljanko, Keijo; Niemela, Ilkka
TypeJournal article
Date Published2006
Date Created-

Planning for temporally extended goals as propositional satisfiability

Author(s)Mattmueller, Robert; Rintanen, Jussi
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

Planning graphs and propositional clause-learning

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2008
Date CreatedSeptember 16-19 2008

Planning via petri net unfolding

Author(s)Hickmott, Sarah; Rintanen, Jussi; Thiebaux, Sylvie, et al
TypeConference paper
Date Published2007
Date CreatedJanuary 6-12 2007

Planning with SAT, Admissible Heuristics and A*

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2011
Date CreatedJuly 16-22 2011

Planning with Specialized SAT Solvers

Author(s)Rintanen, Jussi
TypeConference paper
Date Published2011
Date CreatedAugust 7-11 2011

Updated:  12 April 2016/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator