Head-Tail Framework

• Each node in the search lattice is a pair (head;tail)

• Head: all items on the path to the root

• Tail: all possible extensions

Example: (1; 234)

{}

{1}

{1,2}

{1,3}

{1,4}

{1,2,3,4}

{1,2,3}

{1,2,4}

{1,3,4}

Slide Links:

Slide Comments: