×

找到52个文档（结果1-52）

最新的 引文 关联
吉尔·奥德玛；贝莱德·本哈莫；皮埃尔·西格尔

AVAL：SAT的枚举方法。 （英语） Zbl 0983.68530号

Lloyd，John（编辑）等人，《计算逻辑-CL 2000》。第一届国际会议，英国伦敦，2000年7月24日至28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1861, 373-383 (2000).
MSC公司：68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Audemard}等人，Lect。注释计算。科学。1861，373--383（2000年；Zbl 0983.68530）
皮埃尔·汉森；碧姬·杰马尔

概率可满足性。 （英语） Zbl 1015.68198号

Gabbay，Dov M.（编辑）等人，《可废止推理和不确定性管理系统手册》。第五卷：不确定性和不可行推理的算法。多德雷赫特：Kluwer学术出版社。321-367 (2000).
MSC公司：68层35
PDF格式BibTeX公司 XML格式引用
\textit{P.Hansen}和\textit{B.Jaumard}，收录于：不可行推理和不确定性管理系统手册。第五卷：不确定性和不可行推理的算法。多德雷赫特：Kluwer学术出版社。321--367（2000年；Zbl 1015.68198）
迈克尔·利特曼。；斯蒂芬·马杰西克。；托尼安·皮塔西

随机布尔可满足性。 （英语） Zbl 0979.68068号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 523-560 (2000).
MSC公司：68T01型 68层37
PDF格式BibTeX公司 XML格式引用
\文本{M.L.Littman}等人，正面。Artif公司。智力。申请。63、523--560（2000；Zbl 0979.68068）
乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。

使用分辨率测试模态可满足性并建立模型。 （英语） Zbl 0984.03012号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 459-483 (2000).
审核人：U.Schöning（乌尔姆）
MSC公司：03B35型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{U.Hustadt}和\textit{R.A.Schmidt}，前面。Artif公司。智力。申请。63、459--483（2000；Zbl 0984.03012）
伊恩·霍洛克斯；彼得·施奈德（Peter F.Patel-Schneider）。

评价命题模态可满足性的优化决策程序。 （英语） Zbl 0980.03011号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 427-457 (2000).
MSC公司：03B35型 03B45号 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{I.Horrocks}和\textit{P.F.Patel-Schneider}，前面。Artif公司。智力。申请。63、427--457（2000；Zbl 0980.03011）
张汉涛；Stickel，Mark E。

实施Davis-Putnam方法。 （英语） Zbl 0979.03012号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63，309-326（2000年）。
MSC公司：03B35型 68吨15 03B05号 20号05 20-04
PDF格式BibTeX公司 XML格式引用
\textit{H.Zhang}和\textit{M.E.Stickel}，前面。Artif公司。智力。申请。63309-326（2000年；兹bl 0979.03012）
三雄本木；上原、琉璃

3-可满足性（3SAT）问题的唯一解决方案实例生成。 （英语） Zbl 0979.68052号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 293-307 (2000).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Motoki}和\textit{R.Uehara}，前面。Artif公司。智力。申请。63、293--307（2000；Zbl 0979.68052）
伊琳娜·里什；丽娜·德希特

解决与搜索：SAT的两种策略。 （英语） Zbl 0979.68051号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 215-259 (2000).
MSC公司：65年第68季度 2005年第68季度 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{I.Rish}和\textit{R.Dechter}，前面。Artif公司。智力。申请。63、215--259（2000；Zbl 0979.68051）
艾蒂安·德克勒克；汉斯·范马伦；华纳，Joost P。

利用半定规划放松可满足性问题。 （英语） Zbl 0979.68050号

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 189-213 (2000).
MSC公司：65年第68季度 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛E.de Klerk｝等人，前。Artif公司。智力。申请。63、189--213（2000；Zbl 0979.68050）
卡拉·戈麦斯。；巴特·塞尔曼；努诺·克拉托；亨利·考茨

重尾现象与可满足性和约束满足问题。 （英语） 兹比尔0979.68049

Gent，Ian（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社。前面。Artif公司。智力。申请。63, 15-41 (2000).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.P.Gomes}等人，前面。Artif公司。智力。申请。63、15--41（2000年；Zbl 0979.68049）
亨利·考茨；巴特·塞尔曼

为命题规划编码领域和控制知识。 （英语） Zbl 0979.68094号

Jack Minker（编辑），基于逻辑的人工智能。研讨会记录，华盛顿特区，美国，1999年6月。多德雷赫特：Kluwer学术出版社。Kluwer国际服务。工程计算。科学。第597169-186页（2000年）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{H.Kautz}和\textit{B.Selman}，Kluwer Int.Ser。工程计算。科学。597169--186（2000年；Zbl 0979.68094）
利特维年科，A.E。

通过定向穷举搜索确定逻辑公式的有效性类别。 （英语。俄文原件） Zbl 1010.68169号

赛博。系统。分析。 36，第5期，652-658（2000）; 翻译自Kibern。修女。分析。2000年，第5期，23-31（2000）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.E.Litvinenko}，Cybern。系统。分析。36，第5号，652--658（2000；Zbl 1010.68169）；翻译自Kibern。修女。分析。2000年，第5期，第23-31期（2000年）
全文： 内政部
伊恩·根特（编辑）；汉斯·范马伦（编辑）；托比·沃尔什（编辑）

2000年满意度研究重点。第三次国际研讨会，1998年9月。 （英语） 兹比尔0963.00028

人工智能和应用的前沿. 63. 阿姆斯特丹：IOS出版社。东京：Ohmsha。第561页（2000年）。
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式引用
\textit{I.Gent}（编辑）等人，SAT2000。2000年满意度研究重点。第三次国际研讨会，1998年9月。阿姆斯特丹：IOS出版社；东京：Ohmsha（2000；Zbl 0963.00028）
伯恩哈德·贝克特；雷纳·哈内尔；很多，费利普

签名CNF公式的SAT问题。 （英语） Zbl 0966.03033号

Basin，David（编辑）等人，标签扣除。基于1998年9月德国弗莱堡LD'98第一次国际研讨会。多德雷赫特：Kluwer学术出版社。申请。日志。序列号。17, 59-80 (2000).
MSC公司：03B70号 68立方英尺 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Beckert}等人，应用。日志。序列号。17、59-80（2000；Zbl 0966.03033）
Argimiro A.Arratia公司。

介绍可计算性的描述性理论。（介绍了计算能力描述。） （西班牙语） Zbl 1009.68052号

梅里达：安第斯大学，Ciencias学院，马特马提卡省。vi，第109页（2000年）。
审核人：弗兰克·斯蒂芬（海德堡）
MSC公司：2015年第68季度 68-01 03D75号
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Arratia}，《计算能力简介》（西班牙语）。梅里达：安第斯大学，Ciencias学院，马特马提卡省（2000；Zbl 1009.68052）
恩里科Giunchilia；罗伯托·塞巴斯蒂亚尼

将Davis-Putnam程序应用于非子句公式。 （英语） Zbl 0961.03014号

Lamma，Evelina（编辑）等人，AI*IA 99：人工智能进展。意大利人工智能协会第六届大会。意大利博洛尼亚，1999年9月14日至17日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1792, 84-94 (2000).
MSC公司：03B35型 68吨15 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{E.Giunchiglia}和\textit{R.Sebastiani}，莱克特。注释计算。科学。1792，84-94（2000；Zbl 0961.03014）
克劳迪奥·古铁雷斯

具有反对合的自由半群中的方程及其与自由群中方程的关系。 （英语） Zbl 0982.20041号

Gonnet，Gastón H.（编辑）等人，《拉丁语2000：理论信息学》。第四届拉丁美洲研讨会，2000年4月10日至14日，乌拉圭埃斯特角。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1776, 387-396 (2000).
MSC公司：2005年5月20日 65年第68季度 20E05年 2010年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{C.Gutiérrez}，莱克特。注释计算。科学。1776387-396（2000年；Zbl 0982.20041）
伊迪丝·赫玛斯潘德拉

穷人逻辑的复杂性。 （英语） Zbl 0953.03052号

Reichel，Horst（编辑）等人，STACS 2000。第17届计算机科学理论方面年度研讨会。2000年2月17日至19日，法国里尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1770, 230-241 (2000).
MSC公司：2015年3月1日 03B45号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Hemaspaandra}，莱克特。注释计算。科学。1770、230--241（2000；Zbl 0953.03052）
爱德华·赫希。

MAX-2-SAT的一种新算法。 （英语） Zbl 0959.68047号

Reichel，Horst（编辑）等人，STACS 2000。第17届计算机科学理论方面年度研讨会。2000年2月17日至19日，法国里尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1770, 65-73 (2000).
MSC公司：65年第68季度 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{E.A.Hirsch}，莱克特。注释计算。科学。1770年，65-73年（2000年；Zbl 0959.68047）
米歇尔·塔拉格兰德

旋转玻璃和组合优化。（Verres de spin et优化组合。） （法语） Zbl 1005.82014年

塞米纳伊尔·布尔巴吉。第1998/99卷。博览会850-864。巴黎：法国数学协会（SociétéMathématique de France，Astérisque）。266287-317，Exp.No.859（2000）。
MSC公司：82个B44 82-02 90C27型 82天30分 60K35型
PDF格式BibTeX公司 XML格式引用
\textit{M.Talagrand}，收录于：Séminaire Bourbaki。第1998/99卷。博览会850-864。巴黎：法国数学学会。287--317，Exp.No.859（2000；Zbl 1005.82014）
全文： Numdam编号 欧洲DML
高雄浅野；大卫·P·威廉姆森。

MAX SAT的改进近似算法。 （英语） Zbl 0952.90019号

第十一届ACM-SIAM离散算法年会论文集。2000年1月9日至11日，美国加利福尼亚州旧金山。宾夕法尼亚州费城：SIAM。96-105 (2000).
MSC公司：90B80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Asano}和\textit{D.P.Williamson}，in：第十一届ACM-SIAM离散算法年度研讨会论文集，SODA 2000，美国加利福尼亚州旧金山，2000年1月9-11日。宾夕法尼亚州费城：SIAM。96-105（2000；Zbl 0952.90019）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件