Solving odd even sudoku puzzles by binary integer linear programming.

Hui Yu Yuchao Tang Chunxiang Zong

Published in: ICNC-FSKD (2016)

Keyphrases

integer linear programming
boolean optimization
pseudo boolean
crossword puzzles
bicriteria
column generation
boolean satisfiability
linear inequalities
jigsaw puzzle
global constraints
cutting plane
combinatorial optimization
integer program
symmetry breaking
special case
perfect phylogeny