𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Satisfiability, Branch-Width and Tseitin tautologies

✍ Scribed by Michael Alekhnovich; Alexander Razborov

Book ID
113014815
Publisher
Springer
Year
2011
Tongue
English
Weight
680 KB
Volume
20
Category
Article
ISSN
1016-3328

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Branch-Width and Rota's Conjecture
Branch-Width and Rota's Conjecture
✍ James Geelen; Geoff Whittle πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 169 KB

For a fixed finite field F and an integer k there are a finite number of matroids of branch-width k that are excluded minors for F-representability.

Rank-width is less than or equal to bran
Rank-width is less than or equal to branch-width
✍ Sang-il Oum πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 112 KB

## Abstract We prove that the rank‐width of the incidence graph of a graph __G__ is either equal to or exactly one less than the branch‐width of __G__, unless the maximum degree of __G__ is 0 or 1. This implies that rank‐width of a graph is less than or equal to branch‐width of the graph unless the