7 search results - page 2 / 2 » Tree-Related Widths of Graphs and Hypergraphs |
FSTTCS
2010
Springer
13 years 3 months ago
2010
Springer
We study the propositional satisfiability problem (SAT) on classes of CNF formulas (formulas in Conjunctive Normal Form) that obey certain structural restrictions in terms of thei...
WAOA
2010
Springer
13 years 3 months ago
2010
Springer
The r-domination search game on graphs is a game-theoretical approach to several graph and hypergraph parameters including treewidth and hypertree width. The task is to identify t...