Pages that link to "Item:Q3453225"
From MaRDI portal
The following pages link to On Compiling CNFs into Structured Deterministic DNNFs (Q3453225):
Displaying 5 items.
- A width parameter useful for chordal and co-comparability graphs (Q1680525) (← links)
- Lower bounds on the mim-width of some graph classes (Q2413964) (← links)
- Parameterized Compilation Lower Bounds for Restricted CNF-Formulas (Q2817997) (← links)
- (Q5090465) (← links)
- Reasoning with propositional logic: from SAT solvers to knowledge compilation (Q6602252) (← links)
