Masood Feyzbakhsh Rankooh
4 papers · 2022–2024 · 2 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
Top co-authors
Research topics
Keywords
sat encoding
(2)
acyclicity constraint
(2)
optimal plan
(2)
integer programming
(1)
directed graph
(1)
answer set programming
(1)
sat solver
(1)
causal relation
(1)
strips planning
(1)
logic programming
(1)
cost-optimal planning
(1)
propositional formula
(1)
stable model
(1)
graph encoding
(1)
delete-free strips planning
(1)
partial function
(1)
action cost propagation
(1)
vertex elimination
(1)
action ordering
(1)
relaxed planning
(1)
Papers
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)
IJCAI 2024
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming
IJCAI 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