Nested satisfiability
<|reference_start|>Nested satisfiability: A special case of the satisfiability problem, in which the clauses have a hierarchical structure, is shown to be solvable in linear time, assuming that the clauses have been represented in a convenient way.<|reference_end|>
@article{knuth1990nested,
    title={Nested satisfiability},
    author={Donald E. Knuth},
    journal={Acta Inform. 28 (1990), no. 1, 1--6},
    year={1990},
    number={Knuth migration 11/2004},
    archivePrefix={arXiv},
    eprint={cs/9301111},
    primaryClass={cs.CC}
}