Thibault Gauthier;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 外来编码。 （英语） Zbl 1531.68164号 国际J近似推理 162，文章ID 109009，26 p.（2023）.MSC公司：68伏99 11年55 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Gauthier}等人，国际期刊近似推理162，文章ID 109009，26 p.（2023；Zbl 1531.68164） 全文： DOI程序 arXiv公司
卡雷尔·奇瓦洛夫斯克;Jakubův，简;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 学习定理证明组件。 （英语） Zbl 07532521号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 266-278 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chvalovsk}等人，Lect。注释计算。科学。12842、266--278（2021；Zbl 07532521） 全文： DOI程序 arXiv公司
佐姆博里（Zsolt Zombori）;约瑟夫·乌尔班;米罗斯拉夫·奥沙克 熵在指导连接证明程序中的作用。 （英语） Zbl 07532518号 Das，Anupam（编辑）等人，分析表的自动推理和相关方法。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 218-235 (2021).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zombori}等人，Lect。注释计算。科学。12842、218--235（2021；Zbl 07532518） 全文： DOI程序 arXiv公司 链接
雅罗斯拉夫·麦克;吉里·塞德拉尔;米罗斯拉夫·奥萨克;约瑟夫·乌尔班;约瑟夫·西维奇 学习从图像中解决几何构造问题。 （英语） Zbl 1485.68271号 Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，罗马尼亚蒂米苏拉第十四届国际会议，CICM 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 167-184 (2021).MSC公司：68单位05 68T05型 68T45型 PDF格式BibTeX公司 XML格式引用 \textit{J.Macke}等人，Lect。注释计算。科学。12833167-184（2021年；兹比尔1485.68271） 全文： DOI程序 arXiv公司
查拉图斯特拉·戈泽尔。;卡雷尔·奇瓦洛夫斯克;Jakubův，简;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 快速和缓慢的谜和家长指导。 （英语） Zbl 07497922号 Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 173-191 (2021).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{Z.A.Goertzel}等人，Lect。注释计算。科学。12941、173--191（2021；Zbl 07497922） 全文： DOI程序 arXiv公司
Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托斯·彼得罗夫斯基;马丁·苏达;约瑟夫·乌尔班 ENIGMA anonymous：符号相关推理引导机（系统描述）。 （英语） Zbl 07614690号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12167, 448-463 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Jakubův}等人，Lect。注释计算。科学。12167448--463（2020；Zbl 07614690） 全文： DOI程序 arXiv公司