机译:关于“疯狂的八个障碍”之谜的概括
Combinatorial puzzle; MacMahon's colored cube puzzle; Eight Blocks to Madness; Computer-assisted proof;
机译:关于“疯狂的八个障碍”之谜的概括
机译:从数独难题的模型生成证明中提取的引理分析-引理一般化
机译:Sumoku(数量)拼图模型生成证据中提取的lemmas分析 - 引理雷姆泛化
机译:泥泞面孔难题的阈值和网络概括
机译:节理岩石中的旋转破坏模式:块理论的推广。
机译:产生广义梯度和分块的空间策略的相互作用:一种计算方法
机译:关于“八个街区到疯狂”难题的概括