弗洛里安·芬克;西蒙·扬奇;克里斯特尔·拜尔 Farkas证书和概率可达性约束的最小见证人。 （英语） Zbl 1507.68187号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛F.Funke｝等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187） 全文： 内政部 arXiv公司
拉尔夫·威默;尼尔斯·詹森;艾丽卡·阿尔布拉汉姆;Joost-Pieter卡托恩;贝恩德·贝克尔 线性时间概率验证的最小反例。 （英语） Zbl 1360.68604号 西奥。计算。科学。 549, 61-100 (2014).MSC公司：60年第68季度 60年20日 87年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Wimmer}等人，Theor。计算。科学。549、61-100（2014年；Zbl 1360.68604） 全文： 内政部