search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 236, SAT 2022, Complete Volume

LIPIcs, Volume 236, SAT 2022, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 25th International Conference on Theory and Applications of Satisfiability Testing
SAT 2022 : August 2 - 5, 2022, Haifa, Israel
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 236
Media group: LIPIcs
Cover von On Top-Down Pseudo-Boolean Model Counting

On Top-Down Pseudo-Boolean Model Counting

Year: 2025
Media group: LIPIcs
Cover von Towards Practical First-Order Model Counting

Towards Practical First-Order Model Counting

Year: 2025
Media group: LIPIcs
Cover von CNFs and DNFs with Exactly k Solutions

CNFs and DNFs with Exactly k Solutions

Year: 2025
Media group: LIPIcs
Cover von An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs

An FPRAS for Model Counting for Non-Deterministic Read-Once Branching Programs

Year: 2025
Media group: LIPIcs
Cover von Support Size Estimation

Support Size Estimation

The Power of Conditioning
Year: 2023
Media group: LIPIcs
Cover von Engineering an Efficient PB-XOR Solver

Engineering an Efficient PB-XOR Solver

Year: 2021
Media group: LIPIcs
Cover von On Hashing-Based Approaches to Approximate DNF-Counting

On Hashing-Based Approaches to Approximate DNF-Counting

Year: 2018
Media group: LIPIcs
OPEN V 11.1.0.0