Generic LIFO structure. Interview staple for parentheses validation, expression evaluation, and iterative DFS. Singly linked list with reverse, cycle detection (Floyd's), and middle-node finding (slow ...
Variable \(X_i\): Factored representation of each state. Domain \(D_i\): Set of allowable values for variable \(X_i\). Constraint \(C_i\): Consists of tuple of variables that participate in the ...