Roland H.C. Yap
4 papers
· 2020–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
Conferences
AAAI (3)
IJCAI (1)
Top co-authors
Research topics
Keywords
constraint satisfaction
(3)
generalized arc consistency
(3)
knowledge compilation
(1)
expressive power
(1)
anytime algorithm
(1)
constraint satisfaction problem
(1)
propositional logic
(1)
binary encoding
(1)
constraint modeling
(1)
model counting
(1)
approximate algorithm
(1)
binary constraint tree
(1)
multi-valued decision diagram
(1)
hidden variable encoding
(1)
approximate inference
(1)
ad-hoc constraint
(1)
constraint propagation
(1)