- Tytuł:
- Parameterized Complexity of Weighted Satisfiability Problems : Decision, Enumeration, Counting
- Autorzy:
-
Creignou, N.
Vollmer, H. - Data publikacji:
- 2015
- Słowa kluczowe:
-
parameterized complexity
weighted satisfiability
parameterized counting complexity
polynomial-delay enumeration
Post’s lattice - Pokaż więcej
- Dostawca treści:
- BazTech