NP-completeness of small conflict set generation for congruence closure

Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo

    Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

    OriginalspracheEnglisch
    Seiten (von - bis)1-12
    Seitenumfang12
    FachzeitschriftFormal Methods in System Design
    Volume50
    Issue137
    DOIs
    PublikationsstatusVeröffentlicht - 2017

    Research Field

    • Nicht definiert

    Diese Publikation zitieren