Constraint Processing

Index

Symbols and Numbers

ω-notation, 22

Ω-notation, 22

0/1/all constraint language, 305–306

1-backjumping, conflict-directed backjumping as, 166

2-SAT tractable Boolean theories, 230

3-consistency, path-consistency and, 69–70

3-variable constraint networks, arc-consistency in, 56–59

4-queens problem

i-consistency and, 67–68

minimal network and, 43–44

A

AC-1 (ARC-CONSISTENCY-1) algorithm, 56–58, 61

AC-2 (ARC-CONSISTENCY-2) algorithm, 58

AC-3 (ARC-CONSISTENCY-3) algorithm, 58–61

AC-4 (ARC-CONSISTENCY-4) algorithm, 60–61

acyclic constraint networks, 245–253

ACYCLIC-SOLVING algorithm, 248–249

dual-based recognition, 250–251

hypergraphs and, 245–247

identifying, 249–253

primal-based recognition, 251–253

solving acyclic problems, 245–249

tree-based ...