NP-completeness of small conflict set generation for congruence closure

Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo

    Research output: Contribution to journalArticlepeer-review

    Original languageEnglish
    Pages (from-to)1-12
    Number of pages12
    JournalFormal Methods in System Design
    Volume50
    Issue number137
    DOIs
    Publication statusPublished - 2017

    Research Field

    • Not defined

    Cite this