CORE

🇺🇦   make metadata, not war

    5 research outputs found

    Monotone Proofs of the Pigeon Hole Principle

    Author
    Publication venue
    'Wiley'
    Publication date
    Field of study
    Get PDF
    Lecture Notes in Computer Science. Geneva, Switzerland, July 9-15
    Archivio della ricerca- Università di Roma La Sapienza

    On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systemsv

    Author
    Publication venue
    'Society for Industrial & Applied Mathematics (SIAM)'
    Publication date
    Field of study
    Get PDF
    Archivio della ricerca- Università di Roma La Sapienza

    Propositional Proof Complexity and Cellular Automata

    Author
    Publication venue
    'IntechOpen'
    Publication date
    Field of study
    Get PDF
    IntechOpen
    corecore