Towards NP-P via proof complexity and search

zbMATH Open1358.03087MaRDI QIDQ3464626FDOQ3464626

Authors: Samuel R. Buss 

Publication date: 27 January 2016

Recommendations

• Towards NP-P via proof complexity and search
• Twelve Problems in Proof Complexity
• scientific article; zbMATH DE number 1179974
• Proof Complexity of Non-classical Logics
• scientific article; zbMATH DE number 1860652

zbMATH Keywords

proof complexitysatisfiabilityproof searchCook's programproof automatizability

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of proofs (03F20)

Cited In (6)

• Title not available (Why is that?)
• Towards NP-P via proof complexity and search
• ON THE PROOF COMPLEXITY OF THE NISAN–WIGDERSON GENERATOR BASED ON A HARD NP ∩ coNP FUNCTION
• Constructing NP-intermediate problems by blowing holes with parameters of various properties
• Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024
• Automata, Languages and Programming

This page was built for publication: Towards NP-P via proof complexity and search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3464626)