search result

Cover von Proof Complexity of Resolution-based QBF Calculi

Proof Complexity of Resolution-based QBF Calculi

Year: 2015
Media group: LIPIcs
Cover von Optimal algorithms and proofs; 10
pp. 51-68
Search for this author
Year: 2015
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
Cover von The Relative Strength of #SAT Proof Systems

The Relative Strength of #SAT Proof Systems

Year: 2024
Media group: LIPIcs
Cover von Hard QBFs for Merge Resolution

Hard QBFs for Merge Resolution

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0