search result

Cover von SAT and Interactions; 10,2
pp. 1-18
Search for this author
Year: 2020
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 10,2
Media group: DAGSTUHL REPORT
Cover von MaxSAT resolution and subcube sums
article in 23nd International Conference on Theory and Applications of Satisfiability Testing (SAT’20)
Search for this author
Year: 2020
Publisher: Toronto, University
Media group: ARTICLE
Cover von Relating two width measures for resolution proofs
Author: Krebs, Andreas; Mahajan, Meena; Shukla, Anil Search for this author
Year: 2016
Publisher: Rehovot, Weizmann Institute of Science
Series: Electronic colloquium on computational complexity; 164
Media group: ARTICLE
Cover von Computing the Maximum using (min, +) Formulas

Computing the Maximum using (min, +) Formulas

Year: 2017
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 New Lower Bounds for Polynomial Calculus over Non-Boolean Bases

New Lower Bounds for Polynomial Calculus over Non-Boolean Bases

Year: 2024
Media group: LIPIcs
Cover von Query Complexity of Search Problems

Query Complexity of Search Problems

Year: 2023
Media group: LIPIcs
Cover von QBF Merge Resolution Is Powerful but Unnatural

QBF Merge Resolution Is Powerful but Unnatural

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

Building Strategies into QBF Proofs

Year: 2019
Media group: LIPIcs
Cover von Proof Systems for QBF Synthesis

Proof Systems for QBF Synthesis

Extracting Skolem and Herbrand Functions
Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0