Jussi Rintanen
7 papers · 2013–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (3) π Academic Marathon (11)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(17)
π
Conference Pioneer
π
Trend Setter
Conferences
AAAI (3)
IJCAI (3)
NIPS (1)
Top co-authors
Keywords
sat encoding
(2)
automated planning
(2)
temporal planning
(1)
constraint satisfaction
(1)
directed graph
(1)
markov network structure
(1)
bayesian network
(1)
smt encoding
(1)
graphical model
(1)
probabilistic graphical model
(1)
sat solver
(1)
search algorithm
(1)
resource scheduling
(1)
causal relation
(1)
markov network
(1)
answer set programming
(1)
clock-based encoding
(1)
effect delay
(1)
strips planning
(1)
structure learning
(1)
Papers
Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting
AAAI 2024
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination
AAAI 2022
Efficient Encoding of Cost Optimal Delete-Free Planning as SAT
AAAI 2022
Temporal Planning with Clock-Based SMT Encodings
IJCAI 2017
Models of Action Concurrency in Temporal Planning
IJCAI 2015
Learning Chordal Markov Networks by Constraint Satisfaction
NIPS 2013
Computing Upper Bounds on Lengths of Transition Sequences
IJCAI 2013