Autoterm Merging

Supplanting the CNF grid function.

Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

The most fundamental component of applying SAT is what I called the grid function. Underneath SAT, all data is represented as a (1-indexed) array of booleans. The grid function provided a convenient mapping to this array. For example, a grid function for sudoku might look like

Mail: (not shown)

Please type this: