search result

Cover von Strategy Extraction by Interpolation

Strategy Extraction by Interpolation

Year: 2024
Media group: LIPIcs
Cover von Quantified CDCL with Universal Resolution

Quantified CDCL with Universal Resolution

Year: 2022
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 Pedant

Pedant

A Certifying DQBF Solver
Year: 2022
Media group: LIPIcs
Cover von Towards Uniform Certification in QBF

Towards Uniform Certification in QBF

Year: 2022
Media group: LIPIcs
Cover von Long-Distance Q(D^std)-Consensus Is Sound

Long-Distance Q(D^std)-Consensus Is Sound

Year: 2026
Media group: LIPIcs
Cover von eSLIM

eSLIM

Circuit Minimization with SAT Based Local Improvement
Year: 2024
Media group: LIPIcs
Cover von Model Counting for CNF Formulas of Bounded Modular Treewidth

Model Counting for CNF Formulas of Bounded Modular Treewidth

Year: 2013
Media group: ARTICLE
OPEN V 11.1.0.0