search result

Cover von Proof Complexity of Propositional Model Counting

Proof Complexity of Propositional Model Counting

Year: 2023
Media group: LIPIcs
Cover von Should Decisions in QCDCL Follow Prefix Order?

Should Decisions in QCDCL Follow Prefix Order?

Year: 2022
Media group: LIPIcs
Cover von Building Strategies into QBF Proofs

Building Strategies into QBF Proofs

Year: 2019
Media group: LIPIcs
Cover von Reasons for Hardness in QBF Proof Systems

Reasons for Hardness in QBF Proof Systems

Year: 2018
Media group: LIPIcs
Cover von SAT and Interactions; 9
pp. 74-93
Search for this author
Year: 2017
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
Cover von Proof Systems for QBF Synthesis

Proof Systems for QBF Synthesis

Extracting Skolem and Herbrand Functions
Year: 2026
Media group: LIPIcs
Cover von Semi-Algebraic Proof Systems for QBF

Semi-Algebraic Proof Systems for QBF

Year: 2025
Media group: LIPIcs
Cover von SAT and Interactions; 10
pp. 22-38
Search for this author
Year: 2025
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10
Media group: DAGSTUHL REPORT
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: LIPIcs
Cover von LIPIcs, Volume 327, STACS 2025, Complete Volume

LIPIcs, Volume 327, STACS 2025, Complete Volume

Year: 2025
Media group: LIPIcs
OPEN V 11.1.0.0