伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 用偏好解决可满足性问题。 (英语) Zbl 1208.68199号 限制条件 15,第4期,485-515(2010).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Rosa}等人,《限制条件》15,第4期,485--515(2010;Zbl 1208.68199) 全文: 内政部
恩里科Giunchilia;尼古拉·利昂;马可·马拉提亚 关于答案集求解者之间的关系。 (英语) Zbl 1165.68333号 安。数学。Artif公司。智力。 53,编号1-4169-204(2008).MSC公司:68N17号 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《数学年鉴》。Artif公司。智力。53,编号1-4169-204(2008年;兹bl 1165.68333) 全文: 内政部
马可·马拉提亚;弗朗西斯科·里卡;沃尔夫冈·费伯;尼古拉·利昂 DLV中的Look-back技术和启发式:与QBF解算器的实现、评估和比较。 (英语) Zbl 1162.68668号 J.算法 63,编号1-3,70-89(2008).MSC公司:68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Maratea}等人,J.Algorithms 63,No.1--3,70-89(2008;Zbl 1162.68668) 全文: 内政部
恩里科Giunchilia;尤利亚·利勒;马可·马拉提亚 基于命题可满足性的答案集编程。 (英语) Zbl 1107.68029号 J.汽车。推理 36,第4期,第345-377页(2006年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,J.Autom。推理36,No.4,345--377(2006;Zbl 1107.68029) 全文: 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 基于SAT的分离逻辑方法。 (英语) Zbl 1109.68108号 J.汽车。推理 35,编号1-3,237-263(2005).MSC公司:68T27型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,J.Autom。推理35,No.1--3,237--263(2005;Zbl 1109.68108) 全文: 内政部 链接
恩里科Giunchilia;马可·马拉提亚 关于答案集和SAT程序之间的关系(或CMODELS和SMODELS之间的关系)。 (英语) Zbl 1165.68488号 Gabbrielli,Maurizio(编辑)等人,《逻辑编程》。2005年10月2日至5日在西班牙西奇举行的第21届国际会议,ICLP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29208-X/pbk)。计算机科学课堂讲稿3668,37-51(2005)。MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}和\textit{M.Maratea},莱克特。注释计算。科学。3668、37-51(2005年;Zbl 1165.68488) 全文: 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 一种基于SAT的差分约束布尔组合决策过程。 (英语) Zbl 1122.68583号 Hoos,Holger H.(编辑)等,可满足性测试的理论和应用。2004年5月10日至13日,加拿大不列颠哥伦比亚省温哥华市,2004年SAT第七届国际会议。修改选定的论文。柏林:施普林格出版社(ISBN 3-540-27829-X/pbk)。计算机科学课堂讲稿3542,16-29(2005)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人,Lect。注释计算。科学。3542,16-29(2005;Zbl 1122.68583) 全文: 内政部