PPaperPicks

Ignace Bleukx

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Papers

  1. Using Certifying Constraint Solvers for Generating Step-wise Explanations
    AAAI 2026 · Ignace Bleukx
  2. Exploiting Symmetries in MUS Computation
    AAAI 2025 · Ignace Bleukx