# A more accurate view of the Flat Wall Theorem

arXiv: https://arxiv.org/abs/2102.06463 · HTML: https://mlsanity.com/paper/2102.06463/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Feb 2021.

## Built on by (most cited first, 1 of 1)

- [From Width-Based Model Checking to Width-Based Automated Theorem Proving](https://mlsanity.com/paper/2205.10995/) (2022)

## Abstract (arXiv)

We introduce a supporting combinatorial framework for the Flat Wall Theorem. In particular, we suggest two variants of the theorem and we introduce a new, more versatile, concept of wall homogeneity as well as the notion of regularity in flat walls. All proposed concepts and results aim at facilitating the use of the irrelevant vertex technique in future algorithmic applications.