PPaperPicks

Ruiwei Wang

2 papers at tracked venues · 2 at CORE A* · active 20242025

Venues

Papers

  1. On the Modelling of Constraints with Tractable Logical Operators
    AAAI 2025 · Ruiwei Wang
  2. Encoding Constraints as Binary Constraint Networks Satisfying BTP
    AAAI 2024 · Ruiwei Wang