CORE

🇺🇦   make metadata, not war

    2 research outputs found

    P-Optimal Proof Systems for Each NP-Set but no Complete Disjoint NP-Pairs Relative to an Oracle

    Author
    Publication venue
    LIPIcs - Leibniz International Proceedings in Informatics. 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019)
    Publication date
    Field of study
    Get PDF
    Dagstuhl Research Online Publication Server
    corecore