www-ai.cs.tu-dortmund.de/LEHRE/PG/PG445/literatur/goethals_2002a.pdf
set of 13 patterns of size 3:
{{3, 2, 1}, {4, 2, 1}, {4, 3, 1}, {4, 3, 2}, {5, 2, 1}, {5, 3, 1}, {5, 3, 2}, {5, 4, 1}, {5, 4, 2}, {5, 4, 3}, {6, 2, 1}, {6, 3, 1}, {6, 3, 2}}.
The 3-canonical representation [...] confidence.
3.2. Exploiting Constraints 47
S0 S B H {} {1, 3} {1} {3} {2} {1, 2, 3} - {2, 3} {4} {1, 3, 4} {1, 4} - {6} {1, 3, 6} {1, 6} {3, 6} {8} {1, 3, 8} {1, 8} {3, 8} {2, 6} {1, 2, 3, 6} - {2, 3, 6} {4 [...] example, take (φ2 ∧ ¬φ1) with φ1 ≡ p1 ∧ p2 ∧ · · · ∧ p` in which pi is an atomic condition or its negation. The disjunct thus becomes (φ2 ∧ ¬p1) ∨ (φ2 ∧ p1 ∧ ¬p2) ∨ · · · ∨ (φ2 ∧ p1 ∧ p2 ∧ · · · ∧ p`−1 …