Jussi Rintanen

zbMath Openrintanen.jussiMaRDI QIDQ359983

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Planning with partial observability by SAT	2024-05-29	Paper
Declarative encodings of acyclicity properties	2020-08-05	Paper
scientific article; zbMATH DE number 6747915 (Why is no real title available?)	2017-07-18	Paper
Learning discrete decomposable graphical models via constraint optimization	2017-03-23	Paper
scientific article; zbMATH DE number 6519681 (Why is no real title available?)	2015-12-11	Paper
Constraint-based algorithm for computing temporal invariants	2015-01-14	Paper
SAT modulo graphs: acyclicity	2015-01-14	Paper
Planning as satisfiability: heuristics	2013-08-23	Paper
Partial implicit unfolding in the Davis-Putnam procedure for quantified Boolean formulae	2011-05-06	Paper
Planning as satisfiability: parallel plans and algorithms for plan search	2007-10-23	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
scientific article; zbMATH DE number 1761421 (Why is no real title available?)	2002-06-30	Paper
scientific article; zbMATH DE number 1305704 (Why is no real title available?)	1999-06-20	Paper
Lexicographic priorities in default logic	1999-03-02	Paper
scientific article; zbMATH DE number 1249652 (Why is no real title available?)	1999-02-09	Paper
On the impact of stratification on the complexity of nonmonotonic reasoning	1994-12-21	Paper

Research outcomes over time

This page was built for person: Jussi Rintanen