Suppose that each word position is a variable, with domain a set of words. The value of the word position is the word that goes into that position.
Suppose we have the following variables and domains:
The constraints are that the intersecting words have to have the same letter in the intersecting positions.
Variable Domain 1-across {ant, big, bus, car, has} 3-across {book, buys, hold, lane, year} 4-across {ant, big, bus, car, has} 1-down {book, buys, hold, lane, year} 2-down {browns, ginger, search, symbol, syntax}