Jussi Rintanen
7 papers · 2013–2024 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Half π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (16) π£ Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Pioneer
π
Trend Setter
Venues
Top co-authors
Research topics
Artificial Intelligence
(5)
Core AI
(5)
Mathematics & Optimization
(4)
Optimization
(4)
Computer Science
(3)
Foundations
(3)
Knowledge & Reasoning
(2)
Machine Learning
(2)
Optimization & Theory
(2)
Reasoning
(2)
Applications
(1)
Bayesian & Probabilistic Β· Artificial Intelligence
(1)
Bayesian & Probabilistic Β· Machine Learning
(1)
Core Methods
(1)
Learning Types
(1)
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
Efficient Encoding of Cost Optimal Delete-Free Planning as SAT
AAAI 2022
Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination
AAAI 2022
Temporal Planning with Clock-Based SMT Encodings
IJCAI 2017
Models of Action Concurrency in Temporal Planning
IJCAI 2015
Computing Upper Bounds on Lengths of Transition Sequences
IJCAI 2013
Learning Chordal Markov Networks by Constraint Satisfaction
NeurIPS 2013