安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters，摩根 SMT中基于反驳的综合。 （英语） Zbl 1427.68051号 形式方法系统。设计。 55，第2期，73-102（2019）。MSC公司：68纳米30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，《形式方法系统》。设计。55，编号2，73-102（2019；Zbl 1427.68051） 全文： 内政部
安德鲁·雷诺兹;金，蒂姆;维克多·昆卡 通过反例引导实例化求解量化线性算法。 （英语） Zbl 1377.68138号 形式方法系统。设计。 51，编号3，500-532（2017）。MSC公司：60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，《形式方法系统》。设计。51，第3号，500--532（2017；Zbl 1377.68138） 全文： 内政部 链接
菲利普·苏特;罗宾·斯泰格;维克多·昆卡 可满足模理论中具有基数约束的集。 （英语） Zbl 1317.68124号 Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，403-418（2011）。MSC公司：60年第68季度 03B70号 68甲18 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Suter}等人，Lect。注释计算。科学。6538403--418（2011；Zbl 1317.68124） 全文： 内政部 链接
托马斯·怀斯;鲁齐卡皮斯卡;维克多·昆卡 将理论与共享集运算相结合。 （英语） 兹比尔1193.03030 Ghilardi，Silvio（编辑）等人，《组合系统的前沿》。第七届国际研讨会，FroCoS 2009，意大利特伦托，2009年9月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04221-8/pbk）。计算机科学课堂讲稿5749。人工智能课堂讲稿，366-382（2009）。MSC公司：03B35型 03年2月25日 03B62号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Wies}等人，Lect。注释计算。科学。5749、366--382（2009年；Zbl 1193.03030） 全文： 内政部 链接
鲁齐卡皮斯卡;维克多·昆卡 带星星的线性算术。 （英语） Zbl 1155.68406号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123268-280（2008）。MSC公司：65年第68季度 2005年11月 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Piskac}和\textit{V.Kuncak}，Lect。注释计算。科学。5123、268--280（2008年；Zbl 1155.68406） 全文： 内政部
维克多·昆卡;阮秀海;马丁·里纳德 用Presburger算法判定布尔代数。 （英语） Zbl 1112.03011号 J.汽车。推理 36，第3期，213-239（2006）。MSC公司：03B35型 03年2月25日 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛V.Kuncak｝等人，J.Autom。推理36，No.3，213--239（2006；Zbl 1112.03011） 全文： 内政部 链接