Ruiwei Wang
6 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 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)
Papers
On the Modelling of Constraints with Tractable Logical Operators
AAAI 2025
Encoding Constraints as Binary Constraint Networks Satisfying BTP
AAAI 2024
The Expressive Power of Ad-Hoc Constraints for Modelling CSPs
AAAI 2023
Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees
AAAI 2022
Bipartite Encoding: A New Binary Encoding for Solving Non-Binary CSPs
IJCAI 2020
Optimizing Simple Tabular Reduction with a Bitwise Representation
IJCAI 2016