search result

Cover von Lower Bound Techniques for QBF Proof Systems

Lower Bound Techniques for QBF Proof Systems

Year: 2018
Media group: LIPIcs
Cover von Arithmetic Circuits

Arithmetic Circuits

An Overview (Invited Talk)
Year: 2017
Media group: LIPIcs
Cover von IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)
December 15 - 18, 2010, Chennai, India : proceedings
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 8
Media group: LIPIcs
Cover von FSTTCS 2004
foundations of software technology and theoretical computer science : 24th international conference, Chennai, India, December 16 - 18, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3328
Media group: MONOGRAPHIE
Cover von On the Interplay of Cube Learning and Dependency Schemes in {QCDCL} Proof Systems

On the Interplay of Cube Learning and Dependency Schemes in {QCDCL} Proof Systems

Year: 2025
Media group: LIPIcs
Cover von Dependency Schemes in CDCL-Based QBF Solving

Dependency Schemes in CDCL-Based QBF Solving

A Proof-Theoretic Study
Year: 2023
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 271, SAT 2023, Complete Volume

LIPIcs, Volume 271, SAT 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 26th International Conference on Theory and Applications of Satisfiability Testing
SAT 2023 : July 4 - 8, 2023, Alghero, Italy
Search for this author
Year: 2023
Series: Leibniz International Proceedings in Informatics; 271
Media group: LIPIcs
Cover von On (Simple) Decision Tree Rank

On (Simple) Decision Tree Rank

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0