Export Citations
1 Results for: Keyword: size-width in resolution
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,764,830 records)|Limit your search to The ACM Full-Text Collection (758,083 records)
- research-articleJuly 2020
Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer SciencePages 209–223https://doi.org/10.1145/3373718.3394793We provide a tight characterisation of proof size in resolution for quantified Boolean formulas (QBF) by circuit complexity. Such a characterisation was previously obtained for a hierarchy of QBF Frege systems (Beyersdorff & Pich, LICS 2016), but ...