Mirrored from Sudopedia, the Free Sudoku Reference Guide
Tabling is a solving technique which is not used by human players but by computer programs. The program builds a table of implications for the true and false states of each remaining candidate in the grid.
Alternatively, the tables can be used to find verities, which are implications that occur for all alternative candidates in a constraint. Since multiple chains are required to prove a verity, this aspect of tabling is only used when no contradictions can be found.This page was last modified 18:30, 25 October 2007.