Jussi Rintanen

From MaRDI portal
Person:359983

Available identifiers

zbMath Open rintanen.jussiMaRDI QIDQ359983

List of research outcomes





PublicationDate of PublicationType
Planning with partial observability by SAT2024-05-29Paper
Declarative encodings of acyclicity properties2020-08-05Paper
https://portal.mardi4nfdi.de/entity/Q52829912017-07-18Paper
Learning discrete decomposable graphical models via constraint optimization2017-03-23Paper
https://portal.mardi4nfdi.de/entity/Q34555992015-12-11Paper
Constraint-Based Algorithm for Computing Temporal Invariants2015-01-14Paper
SAT Modulo Graphs: Acyclicity2015-01-14Paper
Planning as satisfiability: heuristics2013-08-23Paper
Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae2011-05-06Paper
Planning as satisfiability: parallel plans and algorithms for plan search2007-10-23Paper
Logics in Artificial Intelligence2006-10-25Paper
https://portal.mardi4nfdi.de/entity/Q45374412002-06-30Paper
https://portal.mardi4nfdi.de/entity/Q42525221999-06-20Paper
Lexicographic priorities in default logic1999-03-02Paper
https://portal.mardi4nfdi.de/entity/Q42307181999-02-09Paper
On the impact of stratification on the complexity of nonmonotonic reasoning1994-12-21Paper

Research outcomes over time

This page was built for person: Jussi Rintanen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:359983&oldid=7879229"
Powered by MediaWiki