Ruiwei Wang
6 papers
· 2016–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(9)
🐝
Cross-Pollinator
(6)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🏆
Keyword Champion
(5)
Conferences
AAAI (4)
IJCAI (2)
Top co-authors
Research topics
Keywords
constraint satisfaction
(5)
generalized arc consistency
(3)
constraint propagation
(2)
binary constraint tree
(2)
constraint programming
(1)
constraint satisfaction problem
(1)
binary encoding
(1)
decision diagram
(1)
constraint modeling
(1)
model counting
(1)
binary constraint network
(1)
logical operator
(1)
tractable negation
(1)
constraint encoding
(1)
multi-valued decision diagram
(1)
broken triangle property
(1)
binary constraint
(1)
hidden variable encoding
(1)
ad-hoc constraint
(1)
tractable constraint class
(1)