亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;大卫，克里斯蒂娜;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 （英语） 兹伯利07702725 J.自动化。推理 67，第2号，第19号论文，第25页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725） 全文： 内政部 OA许可证
伊丽莎白·波尔格林;安德鲁·雷诺兹;Sanjit A.Seshia。 可满足性与合成模预言。 （英语） Zbl 1498.68082号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 263-284 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Polgreen}等人，Lect。注释计算。科学。13182、263--284（2022年；Zbl 1498.68082） 全文： 内政部 arXiv公司
尼基尔·皮姆帕尔切尔;费德里科·莫拉;伊丽莎白·波尔格林;Sanjit A.Seshia。 MedleySolver：在线SMT算法选择。 （英语） Zbl 07495591号 Li，Chu-Min（编辑）等，《满意度测试的理论和应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 453-470 (2021).MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Pimpalkhare}等人，Lect。注释计算。科学。12831453-470（2021；Zbl 07495591） 全文： 内政部 链接