PPaperPicks

Yong Kiam Tan

6 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

CP ×3AAAI ×2S&P ×1

Frequent coauthors

Jakob Nordström
×5
Andy Oertel
×5
Magnus O. Myreen
×4
Wietze Koops
×3
Ciaran McCreesh
×3
Simon Dold
×1
George Katsirelos
×1
Markus Anders
×1
Bart Bogaerts
×1
Benjamin Bogø
×1
Arthur Gontier
×1
Adrian Rebola-Pardo
×1

Papers

  1. End-to-End Certified Graph Colouring
    CP 2026 ·
    Simon Dold
    ,
    George Katsirelos
    ,
    Wietze Koops
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    , Yong Kiam Tan
  2. Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
    AAAI 2026 ·
    Markus Anders
    ,
    Bart Bogaerts
    ,
    Benjamin Bogø
    ,
    Arthur Gontier
    ,
    Wietze Koops
    ,
    Ciaran McCreesh
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    ,
    Adrian Rebola-Pardo
    , Yong Kiam Tan
  3. Proof Logging for Projected Enumeration (and Counting?) Problems in VeriPB
    CP 2026 ·
    Ciaran McCreesh
    ,
    Jakob Nordström
    ,
    Andy Oertel
    , Yong Kiam Tan
  4. Practically Feasible Proof Logging for Pseudo-Boolean Optimization
    CP 2025 ·
    Wietze Koops
    ,
    Daniel Le Berre
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    , Yong Kiam Tan,
    Marc Vinyals
  5. End-to-End Verification for Subgraph Solving
    AAAI 2024 ·
    Stephan Gocht
    ,
    Ciaran McCreesh
    ,
    Magnus O. Myreen
    ,
    Jakob Nordström
    ,
    Andy Oertel
    , Yong Kiam Tan
  6. Scores Tell Everything about Bob: Non-adaptive Face Reconstruction on Face Recognition Systems
    S&P 2024 ·
    Sunpill Kim
    , Yong Kiam Tan,
    Bora Jeong
    ,
    Soumik Mondal
    ,
    Khin Mi Mi Aung
    ,
    Jae Hong Seo