XCSP 2.1 Benchmark Database

lexVg

Lecoutre's category

Lecoutre's tooltips

Given a grid and a dictionary, the problem is to fulfill the grid with the words contained in the dictionary. Here, three series of grids (Herald, puzzle, Vg) and four dictionaries (lex, ogd, uk, words) have been used. Herald refers to crossword puzzles taken from the Herald Tribune (Spring, 1999), Puzzle refers to crossword puzzles mentioned in [Ginsberg, Dynamic Backtracking, JAIR, 93] and [Ginsberg et al., Search Lessons Learned from Crossword Puzzles, AAAI-90] and Vg refers to blank grids. Lex is a dictionary used in [Samaras-Stergiou, Binary encodings of non binary satisfaction problems: algorithms and experimental results, JAIR, 2005], Uk corresponds to the UK cryptic solvers dictionary, words corresponds to the dictionary found in /usr/dict/words under Linux and Ogd corresponds to a french dictionary. Lex and words are small dictionaries whereas Uk and Ogd are large ones. The model used to represent the instances is the one identified by m1 in [Beacham-Chen-Silito-vanBeek, Constraint Programming lessons learned from crossword puzzles, 2001]. However, for the Vg grids, all instances only involve constraints in extension as for these grids, putting two times the same word has been authorized. Thank you to Hadrien Cambazard, Kostas Stergiou and Julian Ullmann for their help.

Source

Comments

Number of instances: 63 (63 processed, 0 partially processed, 0 failed)

Processing completed
normalized-crossword-m1c-lex-vg10-10-ext
normalized-crossword-m1c-lex-vg10-11-ext
normalized-crossword-m1c-lex-vg10-12-ext
normalized-crossword-m1c-lex-vg10-13-ext
normalized-crossword-m1c-lex-vg10-14-ext
normalized-crossword-m1c-lex-vg11-11-ext
normalized-crossword-m1c-lex-vg11-12-ext
normalized-crossword-m1c-lex-vg11-13-ext
normalized-crossword-m1c-lex-vg11-14-ext
normalized-crossword-m1c-lex-vg11-15-ext
normalized-crossword-m1c-lex-vg12-12-ext
normalized-crossword-m1c-lex-vg12-13-ext
normalized-crossword-m1c-lex-vg12-14-ext
normalized-crossword-m1c-lex-vg12-15-ext
normalized-crossword-m1c-lex-vg12-16-ext
normalized-crossword-m1c-lex-vg13-13-ext
normalized-crossword-m1c-lex-vg13-14-ext
normalized-crossword-m1c-lex-vg13-15-ext
normalized-crossword-m1c-lex-vg13-16-ext
normalized-crossword-m1c-lex-vg13-17-ext
normalized-crossword-m1c-lex-vg14-14-ext
normalized-crossword-m1c-lex-vg14-15-ext
normalized-crossword-m1c-lex-vg14-16-ext
normalized-crossword-m1c-lex-vg14-17-ext
normalized-crossword-m1c-lex-vg14-18-ext
normalized-crossword-m1c-lex-vg15-15-ext
normalized-crossword-m1c-lex-vg15-16-ext
normalized-crossword-m1c-lex-vg15-17-ext
normalized-crossword-m1c-lex-vg15-18-ext
normalized-crossword-m1c-lex-vg16-16-ext
normalized-crossword-m1c-lex-vg16-17-ext
normalized-crossword-m1c-lex-vg16-18-ext
normalized-crossword-m1c-lex-vg16-20-ext
normalized-crossword-m1c-lex-vg4-4-ext
normalized-crossword-m1c-lex-vg4-5-ext
normalized-crossword-m1c-lex-vg4-6-ext
normalized-crossword-m1c-lex-vg4-7-ext
normalized-crossword-m1c-lex-vg4-8-ext
normalized-crossword-m1c-lex-vg5-5-ext
normalized-crossword-m1c-lex-vg5-6-ext
normalized-crossword-m1c-lex-vg5-7-ext
normalized-crossword-m1c-lex-vg5-8-ext
normalized-crossword-m1c-lex-vg5-9-ext
normalized-crossword-m1c-lex-vg6-10-ext
normalized-crossword-m1c-lex-vg6-6-ext
normalized-crossword-m1c-lex-vg6-7-ext
normalized-crossword-m1c-lex-vg6-8-ext
normalized-crossword-m1c-lex-vg6-9-ext
normalized-crossword-m1c-lex-vg7-10-ext
normalized-crossword-m1c-lex-vg7-11-ext
normalized-crossword-m1c-lex-vg7-7-ext
normalized-crossword-m1c-lex-vg7-8-ext
normalized-crossword-m1c-lex-vg7-9-ext
normalized-crossword-m1c-lex-vg8-10-ext
normalized-crossword-m1c-lex-vg8-11-ext
normalized-crossword-m1c-lex-vg8-12-ext
normalized-crossword-m1c-lex-vg8-8-ext
normalized-crossword-m1c-lex-vg8-9-ext
normalized-crossword-m1c-lex-vg9-10-ext
normalized-crossword-m1c-lex-vg9-11-ext
normalized-crossword-m1c-lex-vg9-12-ext
normalized-crossword-m1c-lex-vg9-13-ext
normalized-crossword-m1c-lex-vg9-9-ext

Partially processed

Processing failed