罗查，蒂亚戈·阿尔维斯；阿娜·特蕾莎·马丁斯；弗朗西伯·马丁斯·费雷拉 用EF游戏和SAT从不一致的字符串样本合成无量词DNF句子。 （英语） Zbl 1460.68099号 西奥。计算。科学。 843, 115-135 (2020).MSC公司：68T20型 03C13号机组 68问题32 第68季度第42季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人，Theor。计算。科学。843115-135（2020年；兹比尔1460.68099） 全文： 内政部
罗查，蒂亚戈·阿尔维斯；阿娜·特蕾莎·马丁斯；弗朗西伯·马丁斯·费雷拉 使用Ehrenfeucht-Fraísse游戏从字符串样本合成DNF公式。 （英语） Zbl 1436.68154号 西奥。计算。科学。 805, 109-126 (2020).MSC公司：68问题32 03B70号 03C07号机组 03C13号机组 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人，Theor。计算。科学。805109--126（2020年；Zbl 1436.68154） 全文： 内政部
罗查，蒂亚戈·阿尔维斯；阿娜·特蕾莎·马丁斯；弗朗西克勃·马丁斯·费雷拉 找到与字符串样本一致的一阶句子。 （英语） Zbl 1528.68198号 Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）277220-234（2018）。MSC公司：65年第68季度 03C13号机组 05年3月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Rocha}等人，《电子》。程序。西奥。计算。科学。（EPTCS）277220--234（2018；Zbl 1528.68198） 全文： arXiv公司 链接