search result

Cover von LIPIcs, Volume 241, MFCS 2022, Complete Volume

LIPIcs, Volume 241, MFCS 2022, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 47th International Symposium on Mathematical Foundations of Computer Science
MFCS 2022 : August 22 - 26, 2022, Vienna, Austria
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 241
Media group: LIPIcs
Cover von A SAT Attack on Rota's Basis Conjecture

A SAT Attack on Rota's Basis Conjecture

Year: 2022
Media group: LIPIcs
Cover von CSP Beyond Tractable Constraint Languages

CSP Beyond Tractable Constraint Languages

Year: 2022
Media group: LIPIcs
Cover von Recent Trends in Knowledge Compilation; 9
pp. 62-85
Search for this author
Year: 2018
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 9
Media group: DAGSTUHL REPORT
Cover von Combining Treewidth and Backdoors for CSP

Combining Treewidth and Backdoors for CSP

Year: 2017
Media group: LIPIcs
Cover von Backdoor Sets for CSP

Backdoor Sets for CSP

Year: 2017
Media group: DAGSTUHL FOLLOW-UP
Cover von Meta-kernelization using Well-structured Modulators

Meta-kernelization using Well-structured Modulators

Year: 2015
Media group: LIPIcs
Cover von Parameterized and Exact Computation
8th International Symposium, IPEC 2013, Sophia Antipolis, France, September 4 - 6, 2013, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 8246
Media group: MONOGRAPHIE
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