search result

Cover von Satisfiability of Acyclic and Almost Acyclic CNF Formulas

Satisfiability of Acyclic and Almost Acyclic CNF Formulas

Year: 2010
Media group: ARTICLE
Cover von Small Unsatisfiable k-CNFs with Bounded Literal Occurrence

Small Unsatisfiable k-CNFs with Bounded Literal Occurrence

Year: 2024
Media group: LIPIcs
Cover von From Data Completion to Problems on Hypercubes

From Data Completion to Problems on Hypercubes

A Parameterized Analysis of the Independent Set Problem
Year: 2023
Media group: LIPIcs
Cover von SAT Encodings and Beyond; 6
pp. 106-122
Search for this author
Year: 2024
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von On Existential MSO and its Relation to ETH

On Existential MSO and its Relation to ETH

Year: 2016
Media group: LIPIcs
Cover von Backdoors to q-Horn

Backdoors to q-Horn

Year: 2013
Media group: ARTICLE
Cover von The linear arrangement problem parameterized above guaranteed value

The linear arrangement problem parameterized above guaranteed value

article
Year: 2007
Media group: ARTICLE
Cover von IPASIR-UP

IPASIR-UP

User Propagators for CDCL
Author: Biere, Armin
Year: 2023
Media group: LIPIcs
Cover von Weighted Model Counting with Twin-Width

Weighted Model Counting with Twin-Width

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0