https://zbmath.org/atom/cc/68R07 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.68241 2024-04-15T15:10:58.286558Z “珀塞尔，迈克尔” https://zbmath.org/authors/？q=ai:purcell.michael 摘要：我们描述了一系列布尔可满足性（SAT）问题，其中每个解决方案对应于一组唯一的非标准骰子。我们表明，通过对相应SAT问题中的变量施加一组基数约束，我们可以控制每个解决方案中骰子之间的关系。然后，我们给出了通过解决此类问题发现的有趣的非标准骰子集的示例。特别地，我们描述了一组19个五面骰子，它们在19个顶点上实现了Paley锦标赛。此外，我们还证明了这组骰子是最小的，因为没有一组少于五条边的19个骰子可以在19个顶点上实现Paley锦标赛。