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: