An approach for extracting a small unsatisfiable core (Q1028724)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An approach for extracting a small unsatisfiable core
scientific article

    Statements

    Identifiers