PPaperPicks

Armin Biere

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1FM ×1

Frequent coauthors

Nils Froleyks
×1
Emily Yu
×1
Keijo Heljanko
×1
Giuseppe Spallitta
×1
Roberto Sebastiani
×1

Papers

  1. Certifying Constraints in Hardware Model Checking
    FM 2026 ·
    Nils Froleyks
    ,
    Emily Yu
    , Armin Biere,
    Keijo Heljanko
  2. Disjoint Partial Enumeration without Blocking Clauses
    AAAI 2024 ·
    Giuseppe Spallitta
    ,
    Roberto Sebastiani
    , Armin Biere