Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (Q5326456)

From MaRDI portal
scientific article; zbMATH DE number 6195190
Language Label Description Also known as
English
Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation
scientific article; zbMATH DE number 6195190

    Statements

    Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (English)
    0 references
    0 references
    0 references
    0 references
    5 August 2013
    0 references
    0 references
    0 references

    Identifiers