- Tytuł:
- Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width
- Autorzy:
-
Ganian, R.
Hlinĕný, P.
Obdržálek, J. - Data publikacji:
- 2013
- Słowa kluczowe:
-
propositional model counting
satisfiability
rank-width
clique-width
parameterized complexity - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł