search result

Cover von Lower Bounds for Set-Blocked Clauses Proofs

Lower Bounds for Set-Blocked Clauses Proofs

Year: 2024
Media group: LIPIcs
Cover von Exponential Separations Using Guarded Extension Variables

Exponential Separations Using Guarded Extension Variables

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0