Did you mean: cullmannullmanngollmann

search result

Cover von Theory and Applications of Satisfiability Testing
SAT 2009 : 12th International Conference, Swansea, UK, June 30 - July 3, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5584
Media group: MONOGRAPHIE
Cover von Symmetric Proofs in the Ideal Proof System

Symmetric Proofs in the Ideal Proof System

Year: 2025
Media group: LIPIcs
Cover von SAT Interactions; 11
pp. 87-101
Search for this author
Year: 2013
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
OPEN V 11.1.0.0