Search Results for author: Jussi Rintanen

Found 3 papers, 0 papers with code

Planning with Complex Data Types in PDDL

no code implementations29 Dec 2022 Mojtaba Elahi, Jussi Rintanen

Practically all of the planning research is limited to states represented in terms of Boolean and numeric state variables.

Propositional Encodings of Acyclicity and Reachability by using Vertex Elimination

no code implementations27 May 2021 Masood Feyzbakhsh Rankooh, Jussi Rintanen

We introduce novel methods for encoding acyclicity and s-t-reachability constraints for propositional formulas with underlying directed graphs.

Cannot find the paper you are looking for? You can Submit a new open access paper.