PPaperPicks

Markus Anders

2 papers at tracked venues · 1 at CORE A* · active 2026–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1CP ×1

Frequent coauthors

Bart Bogaerts
×2
Benjamin Bogø
×1
Arthur Gontier
×1
Wietze Koops
×1
Ciaran McCreesh
×1
Magnus O. Myreen
×1
Jakob Nordström
×1
Andy Oertel
×1
Adrian Rebola-Pardo
×1
Yong Kiam Tan
×1
Daimy Van Caudenberg
×1

Papers

  1. 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
  2. On Symmetries and Transformations
    CP 2026 ·
    Daimy Van Caudenberg
    , Markus Anders,
    Bart Bogaerts