Ruiwei Wang

6 papers · 2016–2025 · 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 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird 🏆 Keyword Champion (3)

Venues

AAAI (4) IJCAI (2)

Top co-authors

Roland H.C. Yap (3) Roland H. C. Yap (2) Zhanshan Li (1) Wei Xia (1)

Research topics

Mathematics & Optimization (5) Optimization (5) Computer Science (4) Foundations (4) Artificial Intelligence (3) Core AI (3) Mathematics (3) Machine Learning (1) Discrete Mathematics (1) Optimization & Theory (1)

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