×

找到27份文件（结果1-27）

最新的 引文 关联
迈克尔·卡什莫尔;玛丽亚·福克斯;恩里科·金西格里亚

规划为量化布尔公式。 （英语） Zbl 1327.68211号

De Raedt，Luc（编辑）等人，ECAI 2012。第20届欧洲人工智能会议，2012年8月27日至31日，法国蒙彼利埃。诉讼程序。包括第七届人工智能应用大会（PAIS-2012）的会议记录和系统演示轨道。阿姆斯特丹：IOS出版社（ISBN 978-1-61499-097-0/pbk；978-1-6499-098-7/ebook）。《人工智能与应用前沿》242217-222（2012）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Cashmore}等人，前面。Artif公司。智力。申请。242、217--222（2012；Zbl 1327.68211）
全文： 链接
恩里科·金西格里亚;马可·马拉提亚

求解具有定性偏好的可满足性问题的算法。 （英语） Zbl 1357.68206号

Erdem，Esra（编辑）等人，《正确的推理》。关于基于逻辑的人工智能的论文，以纪念Vladimir Lifschitz。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，327-344（2012）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}和\textit{M.Maratea}，莱克特。注释计算。科学。7265，327--344（2012；Zbl 1357.68206）
全文： 内政部
恩里科·金西格里亚;马林，保罗;马西莫·纳里扎诺

sQueezeBF：基于等价推理的有效QBF预处理器。 （英语） Zbl 1306.68157号

Strichman，Ofer（编辑）等人，《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日在英国爱丁堡举行的2010年SAT第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14185-0/pbk）。计算机科学讲义6175，85-98（2010）。
MSC公司：68T20型 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，Lect。注释计算。科学。6175，85-98（2010；Zbl 1306.68157）
全文： 内政部
恩里科·金西格里亚;马可·马拉提亚

OptSAT：解决SAT相关优化问题的工具。 （英语） Zbl 1152.68553号

Michael Fisher（编辑）等人，《人工智能中的逻辑》。第十届欧洲会议，JELIA 2006，英国利物浦，2006年9月13-15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-39625-3/pbk）。计算机科学讲义4160。人工智能课堂讲稿，485-489（2006）。
MSC公司：68T20型 90C57型
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}和\textit{M.Maratea}，莱克特。注释计算。科学。4160485--489（2006年；Zbl 1152.68553）
全文： 内政部
恩里科·金西格里亚（编辑）;托比·沃尔什（编辑）

SAT 2005。2005年满意度研究。J.Autom的再版。《推理35》，第1-3期（2005年）。 （英语） Zbl 1126.68072号

多德雷赫特：施普林格出版社（ISBN 1-4020-4552-2）。300页。(2006).
MSC公司：68T20型 第68页第15页 68-06 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit｛E.Giunchiglia｝（编辑）和\textit｛T.Walsh｝（编辑），SAT 2005。2005年满意度研究。J.Autom再版。《推理35》，第1-3期（2005年）。多德雷赫特：施普林格（2006；Zbl 1126.68072）
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;马西莫·伊迪尼;马可·马拉提亚

TSAT公司++：可满足性模理论的开放平台。 （英语） Zbl 1272.68369号

Ahrendt，Wolfgang（编辑）等人，《反驳研讨会和第二届决策程序语用学国际研讨会论文选集》（PDPAR 2004），爱尔兰科克，2004年。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》125，第3期，25-36（2005）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Armando}等人，《电子》。理论注释。计算。科学。125，第3号，25-36（2005；Zbl 1272.68369）
全文： 链接
恩里科·金西格里亚;马可·马拉提亚

关于答案集和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）
全文： 内政部
恩里科·金西格里亚;马可·马拉提亚

评估搜索策略和启发式，以实现高效的答案集编程。 （英语） Zbl 1155.68509号

Bandini，Stefania（编辑）等人，AI（{}^*\）IA 2005：人工智能的进展。意大利人工智能协会第九届大会，意大利米兰，2005年9月21日至23日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29041-9/pbk）。计算机科学课堂讲稿3673。人工智能课堂讲稿，122-134（2005）。
MSC公司：68T20型 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}和\textit{M.Maratea}，莱克特。注释计算。科学。3673、122--134（2005年；Zbl 1155.68509）
全文： 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;福斯托·金奇利亚;阿曼多·塔切拉

基于SAT的自动化推理决策程序：一个统一的视角。 （英语） Zbl 1098.68693号

Hutter，Dieter（编辑）等人，《数学推理的机械化》。纪念Jörg H.Siekmann 60岁生日的文章。柏林：施普林格出版社（ISBN 3-540-25051-4/pbk）。计算机科学讲义2605。人工智能课堂讲稿，46-58（2005）。
MSC公司：第68页第15页 03B35型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Armando｝等人，Lect。注释计算。科学。2605、46-58（2005年；Zbl 1098.68693）
全文： 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉

基于真实世界实例的QBF推理。 （英语） Zbl 1122.68596号

Hoos，Holger H.（编辑）等，可满足性测试的理论和应用。2004年5月10日至13日，加拿大不列颠哥伦比亚省温哥华市，2004年SAT第七届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-27829-X/pbk）。计算机科学课堂讲稿3542，105-121（2005）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，Lect。注释计算。科学。3542，105-121（2005；Zbl 1122.68596）
全文： 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科·金西格里亚;马可·马拉提亚

基于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）
全文： 内政部
伊恩·根特;恩里科·金西格里亚;马西莫·纳里扎诺;安德鲁·罗利;阿曼多·塔切拉

观察QBF解算器的数据结构。 （英语） Zbl 1204.68195号

Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 25-36 (2004).
MSC公司：68T20型 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{I.Gent}等人，Lect。注释计算。科学。2919、25-36（2004年；Zbl 1204.68195）
全文： 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉

单音文字和QBF推理中的学习。 （英语） Zbl 1152.68554号

Wallace，Mark（编辑），约束编程的原理和实践–CP 2004。2004年9月27日至10月1日在加拿大多伦多举行的第十届国际会议，CP 2004。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-23241-4/pbk）。计算机科学课堂讲稿3258260-273（2004）。
MSC公司：68T20型 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，Lect。注释计算。科学。3258260-273（2004年；Zbl 1152.68554）
全文： 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉

QuBE++：一个高效的QBF解算器。 （英语） Zbl 1117.68488号

Hu，Alan J.（编辑）等，《计算机辅助设计中的形式化方法》。2004年11月15日至17日，第五届国际会议，FMCAD 2004，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23738-0/pbk）。计算机科学讲座笔记3312201-213（2004）。
MSC公司：68T20型 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，Lect。注释计算。科学。3312、201--213（2004；Zbl 1117.68488）
全文： 内政部
恩里科·金西格里亚（编辑）;阿曼多·塔切拉（编辑）

满意度测试的理论与应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。 （英语） Zbl 1030.00034号

计算机科学课堂讲稿. 2919. 柏林：施普林格。xi，530页（2004）。
MSC公司：00B25型 68-06 68T20型 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}（编辑）和\textit{A.Taccella}（编），可满足性测试的理论和应用。2003年5月5-8日，意大利圣玛格丽塔利古雷，2003年SAT第六届国际会议。选定的修订论文。柏林：施普林格出版社（2004；Zbl 1030.00034）
全文： 内政部 链接
恩里科·金西格里亚;马可·马拉提亚;阿曼多·塔切拉

命题可满足性中的因变量和自变量。 （英语） Zbl 1014.68528号

Flesca，Sergio（编辑）等人，《人工智能中的逻辑》。第八届欧洲会议，JELIA 2002，意大利科森扎，2002年9月23日至26日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2424, 296-307 (2002).
MSC公司：第68页第15页 68T20型 第68页第27页 03B05号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，Lect。注释计算。科学。2424296--307（2002年；Zbl 1014.68528）
全文： 链接
恩里科·金西格里亚;马西莫马拉提亚;阿曼多·塔切拉;达维德·赞博宁

评估命题可满足性中的搜索启发式和优化技术。 （英语） Zbl 0988.68608号

Goré，Rajeev（编辑）等人，《自动推理》。第一届国际联合会议，2001年6月18日至22日，意大利锡耶纳，IJCAR 2001。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。第2083347-363页（2001年）。
MSC公司：第68页第15页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，Lect。注释计算。科学。2083、347--363（2001年；Zbl 0988.68608）
全文： 链接
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。

建立一个高效的SAT图书馆：宣言。 （英语） 兹比尔0990.90559

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注释离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}等人，《电子》。注释离散数学。9，无页码。（2001年；Zbl 0990.90559）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件