CORE

🇺🇦   make metadata, not war

    1 research outputs found

    An Improved Deterministic SAT Algorithm for Small De Morgan Formulas

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    Get PDF
    Crossref
    Edinburgh Research Explorer
    corecore