PPaperPicks

Matthew J. McIlree

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1IJCAI ×1

Papers

  1. Certifying Bounds Propagation for Integer Multiplication Constraints
    AAAI 2025 · Matthew J. McIlree
  2. Proof Logging for Smart Extensional Constraints (Extended Abstract)
    IJCAI 2024 · Matthew J. McIlree