黄，裴；刘明浩；葛存静；马，菲菲；张健 通过满意度测试研究正交高尔夫设计的存在性。 （英语） Zbl 1467.81076号 Bradford，Russell（编辑），第44届符号和代数计算国际研讨会论文集，ISSAC’19，中国北京，2019年7月15日至18日。纽约州纽约市：计算机协会（ACM）。203-210 (2019). 引用于5文件 MSC公司： 81T20型 弯曲时空背景下的量子场论 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 05B15号 正交数组、拉丁方块、房间方块 关键词：自动推理；自动定理证明；组合设计；逻辑；正交高尔夫设计；拟群 软件：SATO公司；数学检查 PDF格式BibTeX公司 XML格式引用 \textit{P.Huang}等人，in：第44届符号与代数计算国际研讨会论文集，ISSAC’19，中国北京，2019年7月15日至18日。纽约州纽约市：计算机协会（ACM）。203-210（2019年；Zbl 1467.81076） 全文： 内政部