( en | de | ru )

 

Disambiguierung von "Rintanen, Jussi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination.

, und . AAAI, Seite 5861-5868. AAAI Press, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jussi Pekonen

Jussi Kumpula

Jussi Grießinger

Narendra Jussien

Jussi Haapola

 

Weitere Publikationen von Autoren mit dem selben Namen

Diagnosers and Diagnosability of Succinct Transition Systems.. IJCAI, Seite 538-544. (2007)Knowledge Representation and Reasoning (lecture notes), , und . (2005)http://www.informatik.uni-freiburg.de/~ki/teaching/ws0405/krr/vorlesung.html.Prinzipien der Wissensrepräsentation, , und . (2006)http://www.informatik.uni-freiburg.de/~ki/teaching/ws0506/krr/vorlesung\_de.html.Planning as satisfiability: Heuristics.. Artif. Intell., (2012)Numeric State Variables in Constraint-Based Planning., und . ECP, Volume 1809 von Lecture Notes in Computer Science, Seite 109-121. Springer, (1999)Efficient Computation and Informative Estimation of h+ by Integer and Linear Programming., und . ICAPS, Seite 71-79. AAAI Press, (2022)Discretization of Temporal Models with Application to Planning with SMT.. AAAI, Seite 3349-3355. AAAI Press, (2015)Complexity of Conditional Planning under Partial Observability and Infinite Executions.. ECAI, Volume 242 von Frontiers in Artificial Intelligence and Applications, Seite 678-683. IOS Press, (2012)Planning with Specialized SAT Solvers.. AAAI, Seite 1563-1566. AAAI Press, (2011)Planning Graphs and Propositional Clause-Learning.. KR, Seite 535-543. AAAI Press, (2008)