Index and Glossary

The republic of letters is at present divided into three classes. One writer, for instance, excels at a plan or a title-page, another works away the body of the book, and a third is a dab at an index.

— OLIVER GOLDSMITH, in The Bee (1759)

When an index entry refers to a page containing a relevant exercise, see also the answer to that exercise for further information. An answer page is not indexed here unless it refers to a topic not included in the statement of the exercise.

∂S (boundary set), 58, 154, 180, 188.

0–1 matrices, 106109, 151, 176177, 181, see also Grid patterns.

1SAT, 49, 148.

2-colorability of hypergraphs, 185.

2SAT, 49, 5154, 7778, 80, 101, 144, 147, 149, 157, 159, 266.

3-regular graphs, 147, 154, 231.

Get The Art of Computer Programming: Satisfiability, Volume 4, Fascicle 6 now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.