-- Programování a sudoku

Série cifer, co jsem si poznačil, moc to hratelné není.

Šachový koník v 9x9, exošachy

N-sudoku Queens

sudoku latinsko řecký čtverec
 Ověření 6 z 9 úrovní (Taking Sudoku Seriously)
 (Steiner triple system)
 Kirkmannovy školačky
 Sylvestrův problém
 (Social Golfer problem)
 (Oberwolfach problem)
  Parker Square

Maximum bloků: 
  běžné sudoku
  X
  Windoku + různé tvary těch 4
Logické důkazy v ruce (vnitřní a všechny bloky)
  Vnitřní a všechny bloky


Otevřený problém: podobnost BLP modelů

Otevřený problém: lze udělat výpočetní důkaz přes SAT?
  Lze v Picatu spustit dvě úlohy?

Otevřený problém: přes (v)GPU
  víc sudoku maticově (maximum bloků)
  celý ten program?


