Masood Feyzbakhsh Rankooh
4 papers · 2022–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (2)
Top co-authors
Keywords
acyclicity constraint
(2)
optimal plan
(2)
sat encoding
(2)
integer programming
(1)
directed graph
(1)
answer set programming
(1)
sat solver
(1)
causal relation
(1)
strips planning
(1)
logic programming
(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)
reachability constraint
(1)
Papers
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming
IJCAI 2024
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract)
IJCAI 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