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

From MaRDI portal
Revision as of 01:25, 22 February 2024 by RedirectionBot (talk | contribs) (‎Changed an Item)
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

    Identifiers