阿基尔·迪克西特（Akhil A.Dixit）。；Phokion G.科莱蒂斯。 一种基于SAT的一致查询应答系统。 （英语） Zbl 1441.68029号 Janota，Mikoláš（编辑）等人，《可满足性测试的理论和应用——2019年SAT》。2019年7月9日至12日，第22届国际会议，SAT 2019，葡萄牙里斯本。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11628, 117-135 (2019).MSC公司：第68页，共15页 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Dixit}和\textit{P.G.Kolaitis}，莱克特。注释计算。科学。11628117-135（2019年；Zbl 1441.68029） 全文： 内政部 arXiv公司
阿尔伯特·阿特塞里亚斯；Phokion G.科莱蒂斯。；西蒙·塞韦里尼 通过算子赋值的广义可满足性问题。 （英语） Zbl 1423.68430号 J.计算。系统。科学。 105, 171-198 (2019).MSC公司：68T20型 47B99型 81页68 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人，《计算杂志》。系统。科学。105、171--198（2019年；Zbl 1423.68430） 全文： 内政部 arXiv公司
阿尔伯特·阿特塞里亚斯；Phokion G.科莱蒂斯。；西蒙·塞韦里尼 通过算子赋值的广义可满足性问题。 （英语） Zbl 1495.68155号 Klasing，Ralf（编辑）等人，《计算理论基础》。2017年9月11-13日在法国波尔多举行的2017年FCT第21届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10472, 56-68 (2017).MSC公司：68兰特 47B02型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人，Lect。注释计算。科学。10472，56-68（2017；Zbl 1495.68155） 全文： 内政部 链接
帕里克希特·戈帕兰；Phokion G.科莱蒂斯。；伊丽莎·曼内娃；克里斯托斯·帕帕迪米特里奥（Christos H.Papadimitriou）。 布尔可满足性的连通性：计算和结构二分法。 （英语） Zbl 1201.03024号 SIAM J.计算。 38，第6期，2330-2355（2009）. 审核人：格雷戈里·洛伦·麦科姆（坦帕） MSC公司：2015年3月1日 03B05号 05C40号 2015年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Gopalan}等人，SIAM J.Compute。38，第6号，2330--2355（2009；Zbl 1201.03024） 全文： 内政部
纳迪亚·克里诺；Phokion Kolaitis公司；布鲁诺·扎努蒂尼 布尔关系的结构识别和共克隆的普通基。 （英语） Zbl 1152.68020号 J.计算。系统。科学。 74，编号7，1103-1115（2008）.MSC公司：65年第68季度 06E30年 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人，《计算杂志》。系统。科学。74，编号71103-1115（2008年；兹bl 1152.68020） 全文： 内政部 哈尔
Delbert D.Bailey。；维克托·达尔摩；Phokion G.科莱蒂斯。 PP-完全可满足问题的相变。 （英语） 兹比尔1123.68117 离散应用程序。数学。 155，第12期，1627-1639（2007）.MSC公司：68T20型 2015年第68季度 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Bailey}等人，《离散应用》。数学。155，第12号，1627--1639（2007；Zbl 1123.68117） 全文： 内政部 链接
埃里希·格拉德尔；Phokion G.科莱蒂斯。；莫舍·瓦尔迪。 关于二元一阶逻辑的决策问题。 （英语） 兹比尔0873.03009 牛市。符号。日志。 第3期，第1期，第53-69页（1997年）.MSC公司：03B25号 2015年3月1日 03C13号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}等人，公牛。符号。日志。3，编号1，53--69（1997；Zbl 0873.03009） 全文： 内政部 链接 链接
Phokion G.科莱蒂斯。；莫舍·瓦尔迪。 二阶逻辑片段的0-1律和判定问题。 （英语） Zbl 0708.03004号 Inf.计算。 87，编号1-2，302-338（1990）.MSC公司：03B25号 2015年3月1日 03B15号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，Inf.Compute。87，编号1--2，302-338（1990；Zbl 0708.03004） 全文： 内政部