×

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

最新的 引文 关联
米纳·马哈扬（编辑）;弗里德里希·斯利沃夫斯基（编辑）

第26届满意度测试理论与应用国际会议，SAT 2023，阿尔盖罗，意大利，2023年7月4日至8日。 （英语） 兹比尔1517.68023

LIPIcs–莱布尼茨国际信息学会议录271.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-286-0）。xvii，30篇文章，非连续页面，仅电子版，开放存取（2023年）。
MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}（编辑）和\textit{F.Slivovsky}（编），第26届满意度测试理论和应用国际会议，SAT 2023，阿尔盖罗，意大利，2023年7月4-8日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1517.68023）
全文： 内政部 链接
Kuldeep S.梅尔。（编辑）;斯特里赫曼（Ofer Strichman）（编辑）

第25届满意度测试理论与应用国际会议，2022年8月2日至5日，以色列海法，SAT 2022。 （英语） Zbl 1494.68012号

LIPIcs–莱布尼茨国际信息学会议录236.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆宫（ISBN 978-3-95977-242-6）。xvii，31篇文章，非连续页面，仅电子版，开放存取（2022年）。
MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{K.S.Meel}（编辑）和\textit{O.Strichman}（编），第25届可满足性测试理论和应用国际会议，2022年8月2-5日，以色列海法，SAT 2022。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2022；Zbl 1494.68012）
全文： 内政部 链接
李楚敏（编辑）;很多，费利普（编辑）

满意度测试的理论和应用——SAT 2021。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。 （英语） Zbl 1482.68030号

计算机科学课堂讲稿12831.查姆：施普林格（ISBN 978-3-030-80222-6/pbk；978-3-0030-80223-3/电子书）。xi，第564页。(2021).
MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{C.-M.Li}（编辑）和textit{F.Manyá}（主编），可满足性测试的理论和应用--SAT 2021。第24届国际会议，西班牙巴塞罗那，2021年7月5-9日。诉讼程序。查姆：施普林格（2021；Zbl 1482.68030）
全文： 内政部
曼纽尔·博迪尔斯基

无限域约束满足的复杂性。 （英语） Zbl 1495.68007号

逻辑课堂笔记52.剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（ISBN 978-1-107-04284-1/hbk；978-1-107-23753-4/电子书）。xii，第524页。(2021).
审核人：Mark S.Burgin（洛杉矶）
MSC公司：68-02 03C35号 03C98号 10年5月 08A70号 65年第68季度 68卢比 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}，无限域约束满足的复杂性。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（2021；Zbl 1495.68007）
全文： 内政部
阿明·比尔（编辑）;Marijn脚后跟（编辑）;汉斯·范马伦（编辑）;沃尔什，托比（编辑）

满意度手册。分为两部分。第二次更新和修订版。 （英语） Zbl 1456.68001号

人工智能和应用的前沿336.阿姆斯特丹：IOS出版社（ISBN 978-1-64368-160-3/pbk；978-1-643 68-161-0/ebook）。十七、1465页。(2021).
MSC公司：68-00 60年第68季度 68兰特 68T20型 68T27型 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Biere}（编辑）等人，《可满足性手册》。分为两部分。第二次更新和修订版。阿姆斯特丹：IOS出版社（2021；Zbl 1456.68001）
全文： 链接
卢卡·普利纳（编辑）;马蒂娜·塞德尔（编辑）

满意度测试的理论和应用——SAT 2020。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。 （英语） Zbl 1457.68014号

计算机科学课堂讲稿12178.查姆：施普林格（ISBN 978-3-030-51824-0/pbk；978-3-0.30-51825-7/ebook）。xi，第538页。（2020年）。
MSC公司：68-06 65年第68季度 68兰特 68T20型 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Pulina}（编辑）和textit{M.Seidl}（主编），可满足性测试的理论和应用——SAT 2020。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。商会：施普林格（2020；兹比尔1457.68014）
全文： 内政部
安德烈·克罗金（编辑）;斯坦尼斯拉夫·伊文（编辑）

约束满足问题：复杂性和可逼近性，Dagstuhl研讨会153012015年7月。 （英语） Zbl 1375.68019号

Dagstuhl跟进7.瓦登：达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-003-3）。xii，第346页。，仅限电子版，开放访问（2017）。
MSC公司：68-06 65年第68季度 68兰特 68周25 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Krokhin}（编辑）和\textit{S.ivn}（主编），约束满足问题：复杂性和近似性，Dagstuhl研讨会153012015年7月。Wadern：达格斯图尔宫——莱布尼茨宫（Leibniz Zentrum für Informatik）（2017；Zbl 1375.68019）
全文： 内政部 链接
斯特凡·德姆里;瓦伦丁·戈兰科;马丁·兰格

计算机科学中的时间逻辑。有限状态系统。 （英语） Zbl 1380.68003号

剑桥理论计算机科学丛书58.剑桥：剑桥大学出版社（ISBN 978-1-107-02836-4/hbk；978-1-139-23611-9/电子书）。viii，第744页。(2016).
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68-02 03B44号 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Demri}等人，《计算机科学中的时间逻辑》。有限状态系统。剑桥：剑桥大学出版社（2016；Zbl 1380.68003）
全文： 内政部
伯恩德·斯坦巴赫;克里斯蒂安·波斯托夫

鹰启动辅助。技术信息学。逻辑函数–布尔模型。（EAGLE-STARTHILFE。技术信息。Logische Funktitonen–Boolesche Modelle。） （德语） Zbl 1297.68004号

EAGLE公司77.莱比锡：Gutenbergplatz Leipzig版（EAGLE）（ISBN 978-3-937219-77-6/pbk）。100页。(2014).
审核人：戈特弗里德·沃森（穆斯特）
MSC公司：68-01 2007年7月68日 68甲15 94立方厘米 00A06号
PDF格式BibTeX公司 XML格式引用
\textit{B.Steinbach}和\textit{C.Posthoff}，EAGLE-STARTHILFE。技术信息。Logische Funktitonen——布尔谢模型。莱比锡：莱比锡古腾堡广场版（EAGLE）（2014；Zbl 1297.68004）
尤塞夫·哈马迪

组合搜索：从算法到系统。 （英语） Zbl 1317.68003号

柏林：施普林格出版社（ISBN 978-3-642-41481-7/hbk；978-3-442-41482-4/电子书）。xiii，139页。(2013).
审核人：Smaranda Belciug（克雷奥瓦）
MSC公司：68-02 05摄氏度xx 2017年第68季度 65年第68季度 68T20型 90C27型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Hamadi}，组合搜索：从算法到系统。柏林：施普林格出版社（2013；Zbl 1317.68003）
全文： 内政部
埃格斯格鲁，斯蒂芬;罗尔夫·德雷克斯勒

高质量的测试模式生成和布尔可满足性。 （英语） Zbl 1235.94003号

纽约州纽约市：施普林格出版社（ISBN 978-1-4419-9975-7/hbk；978-1-4419-9976-4/电子书）。十八、193页。(2012).
MSC公司：94-02 68-02 2007年7月68日 68米15 68T20型 94C12号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Eggersglüß}和\textit{R.Drechsler}，高质量测试模式生成和布尔可满足性。纽约州纽约市：施普林格（2012；Zbl 1235.94003）
全文： 内政部
Rosenbusch，Artus博士。

合作博弈中的公平性考虑。 （英语） Zbl 1230.91002号

达姆施塔特：达姆施塔特大学，Fachbereich Darmstadt（Diss.）。第85页。(2011).
审核人：Tadeusz Radzik（杰列尼亚·戈拉）
MSC公司：91-02 91A12号机组 91A06型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ph.Rosenbusch}，合作游戏中的公平考虑。达姆施塔特：达姆施塔大学，Fachbereich Darmstadt（Diss.）（2011年；Zbl 1230.91002）
全文： 链接
洛伦扎·塞塔;阿提里奥·佐丹纳;安托万·科努·约尔斯

机器学习中的阶段转换。 （英语） Zbl 1246.68012号

剑桥：剑桥大学出版社（ISBN 978-0-521-76391-2/hbk；978-1-139-08903-6/电子书）。xv，第383页。(2011).
审核人：Jerzy W.Grzymala-Busse（劳伦斯）
MSC公司：68-02 68T05型 68T20型 82B26型
PDF格式BibTeX公司 XML格式引用
\textit{L.Saitta}等人，机器学习中的相变。剑桥：剑桥大学出版社（2011；Zbl 1246.68012）
全文： 内政部
佩德罗·多明戈斯;丹尼尔·洛德
[杰西·戴维斯;Tuyen Huynh;斯坦利·科克;莉莉亚娜·米哈尔科娃;雷蒙德·穆尼（Raymond J.Mooney）。;阿尼鲁德·纳特;Poon，海丰;理查森，马修;辛格拉、帕拉格;马克·萨姆纳;王珏]

马尔可夫逻辑。人工智能的接口层。Jesse Davis、Tuyen Huynh、Stanley Kok、Lilyana Mihalkova、Raymond J.Mooney、Aniruddh Nath、Hoifung Poon、Matthew Richardson、Parag Singla、Marc Sumner和Jue Wang提供了捐款。 （英语） Zbl 1202.68403号

人工智能与机器学习综合讲座7.加利福尼亚州圣拉斐尔：Morgan&Claypool出版社（ISBN 978-1-59829-692-1/pbk；978-1-599-29693-8/电子书）。ix，145页。(2009).
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：68T27型 68T05型 68-02
PDF格式BibTeX公司 XML格式引用
\textit｛P.Domingos｝和\textit｛D.Lowd｝，马尔可夫逻辑。人工智能的接口层。Jesse Davis、Tuyen Huynh、Stanley Kok、Lilyana Mihalkova、Raymond J.Mooney、Aniruddh Nath、Hoifung Poon、Matthew Richardson、Parag Singla、Marc Sumner和Jue Wang提供了捐款。加利福尼亚州圣拉斐尔：摩根和克莱普尔出版社（2009年；兹bl 1202.68403）
全文： 内政部
维克托·马雷克。

满足性数学导论。 （英语） 兹比尔1184.68001

查普曼和霍尔/CRC信息学研究系列。佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0167-3/hbk；978-1-439 8-0174-1/电子书）。xiii，350页。(2009).
审核人：加泰罗林·斯托安（克雷奥瓦）
MSC公司：68-01 03-01 03B05号 03B35型 03B70号 65年第68季度 68吨15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}，可满足性数学导论。佛罗里达州博卡拉顿：CRC出版社（2009；Zbl 1184.68001）
全文： 内政部 链接
德雷克斯勒，R。;Eggersglüß，S。;费伊，G。;蒂尔，D。

使用布尔证明引擎生成测试模式。 （英语） Zbl 1189.68029号

多德雷赫特：施普林格（ISBN 978-90-481-2359-9/hbk；978-90-4081-2360-5/电子书）。xii，192页。(2009).
MSC公司：68M99型 68-02 68单位07 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Drechsler}等人，使用布尔证明引擎生成测试模式。多德雷赫特：施普林格（2009；Zbl 1189.68029）
全文： 内政部
拉尔斯·施韦

离散几何中的可满足性问题。 （英语） Zbl 1128.52013号

Berichte aus der Mathematik公司亚琛：Shaker；达姆施塔特：TU Darmstadt，Fachbereich Mathematik（2006年论文）（ISBN 978-3-8322-6108-5/pbk）。100页。(2007).
审核人：Konrad Swanepoel（Chemnitz）公司
MSC公司：52立方厘米 51E30型 52B70型 52立方米
PDF格式BibTeX公司 XML格式引用
\textit{L.Schewe}，离散几何中的可满足性问题。亚琛：Shaker；达姆施塔特：TU Darmstadt，Fachbereich Mathematik（2006年论文）（2007；Zbl 1128.52013）
特鲁姆佩尔，克劳斯

基于逻辑的智能系统设计。 （英语） Zbl 1075.68087号

新泽西州霍博肯：John Wiley&Sons（ISBN 0-471-48403-2/hbk；978-0-471-72394-3/电子书）。xii，第352页。(2004).
审核人：亚历克斯·纳贝宾（莫斯科）
MSC公司：68层35 68T27型 68-02
PDF格式BibTeX公司 XML格式引用
\textit{K.Truemper}，基于逻辑的智能系统设计。新泽西州霍博肯：约翰·威利父子公司（2004；Zbl 1075.68087）
全文： 内政部
恩里科Giunchilia（编辑）;阿曼多·塔切拉（编辑）

满意度测试的理论与应用。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）
全文： 内政部 链接
亨利·考茨（编辑）;巴特·塞尔曼（编辑）

LICS 2001满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。 （英语） Zbl 0968.90001号

离散数学中的电子笔记. 9. 阿姆斯特丹：Elsevier，29篇论文（电子版）（2001年）。
MSC公司：90-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Kautz}（编辑）和textit{B.Selman}（编），LICS 2001满意度测试理论和应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier（2001；Zbl 0968.90001）
伊恩·根特（编辑）;汉斯·范·马伦（编辑）;沃尔什，托比（编辑）

2000年满意度研究重点。第三次国际研讨会，1998年9月。 （英语） Zbl 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）
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）
汉斯·克莱恩·勃宁;特奥多·莱特曼

命题逻辑：演绎和算法。Transl.公司。来自德国。 （英语） Zbl 0957.03001号

剑桥理论计算机科学丛书.48。剑桥：剑桥大学出版社。x、 第409页（1999年）。
审核人：U.Schöning（乌尔姆）
MSC公司：03-01 03B05号 03B35型 03B70号 20层03 68瓦40 03-02 03-04 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛H.Kleine Büning｝和\textit｛T.Lettmann｝，命题逻辑：演绎和算法。Transl.公司。来自德国。剑桥：剑桥大学出版社（1999；Zbl 0957.03001）
约翰·V·佛朗哥。（编辑）;乔戈·加洛（编辑）;汉斯·克莱恩·勃宁（编辑）;埃瓦尔德·斯佩肯迈耶（编辑）;恩德雷·博罗斯（编辑）;彼得·哈默。（编辑）

可满足性问题；布尔函数。关于可满足性问题（第1-244页）和布尔函数（第245-479页）的特刊。包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97（1999）。 （英语） Zbl 0936.00029号

离散数学专题. 10. 阿姆斯特丹：爱思唯尔。482页（1999年）。
MSC公司：00B25型 03-06 06-06
PDF格式BibTeX公司 XML格式引用
\textit{J.V.Franco}（编辑）等，可满足性问题；布尔函数。关于可满足性问题（第1-244页）和布尔函数（第245-479页）的特刊。包括1996年4月29日至5月3日在意大利Certosa di Pontignano举行的第一次可满足性研讨会上的论文。转载自《离散应用数学》杂志96-97（1999）。阿姆斯特丹：Elsevier（1999；Zbl 0936.00029）
约阿希姆·保罗·瓦尔泽

通过局部搜索进行整数优化。一种与域相关的方法。 （英语） Zbl 0934.90053号

计算机科学课堂讲稿1637.人工智能课堂讲稿。柏林：施普林格。xix，137 p.（1999）。
审核人：斯特凡·尼克尔（凯泽斯劳滕）
MSC公司：90立方厘米 90C09型 90B90型 90C27型 90 C90 90C57型
PDF格式BibTeX公司 XML格式引用
\textit{J.P.Walser}，通过局部搜索进行整数优化。一种与域相关的方法。柏林：施普林格出版社（1999；Zbl 0934.90053）
桑娜·托尔格

有限可满足性的验证：一种方法及其应用。（《Endlichen》中的《Eln Verfahren und seine Anwendung》。） （德语） Zbl 0921.03016号

慕尼黑：慕尼黑大学，Fakultät für Mathematik und Informatik，148 S.（1999）。
MSC公司：03B35型 68吨15 03-02 68-02
PDF格式BibTeX公司 XML格式引用
\textit{S.Torge}，eu berprüfung der Erfüllbarkeit im Endlichen：Ein Verfahren und seine Anwendung。慕尼黑：慕尼黑大学，Fakultät für Mathematik und Informatik（1999；Zbl 0921.03016）
杜定珠（编辑）;顾军（编辑）;帕诺斯·帕尔达洛斯。（编辑）

可满足性问题：理论与应用。DIMACS研讨会，美国新泽西州皮斯卡塔韦，1996年3月11日至13日。 （英语） Zbl 0881.00041号

DIMACS系统。离散数学和理论计算机科学系列. 35. 普罗维登斯，RI：美国数学学会（AMS）。xv，724页（1997年）。
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式引用
\textit｛D.Du｝（编辑）等人，可满足性问题：理论和应用。DIMACS研讨会，美国新泽西州皮斯卡塔韦，1996年3月11日至13日。普罗维登斯，RI:AMS，美国数学学会（1997；Zbl 0881.00041）
约翰逊，大卫·S。（编辑）;迈克尔·A·崔克（Michael A.Trick）。（编辑）

团、着色和可满足性。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。 （英语） Zbl 0851.00080号

DIMACS系统。离散数学和理论计算机科学系列. 26. 普罗维登斯，RI：美国数学学会（AMS）。xi，657页（1996年）。
MSC公司：00B25型 68-06 90-06
PDF格式BibTeX公司 XML格式引用
\textit{D.S.Johnson}（编辑）和textit{M.A.Trick}（主编），Cliques，coloring，and satisfiability。第二个DIMACS实施挑战。1993年10月11-13日在DIMACS举行的研讨会会议记录。普罗维登斯，RI:美国数学学会（1996；Zbl 0851.00080）
汉斯·克莱恩·勃宁;特奥多·莱特曼

命题逻辑：演绎和算法。（Aussagenlogik:演绎与算法。） （德语） Zbl 0809.03003号

Leitfäden und Monographien der Informatik公司。斯图加特：图布纳。x、 438 S.（1994）。
审核人：H.J.Ohlbach（萨尔布吕肯）
MSC公司：03B05号 03B35型 03-01 03-02 03-04 65年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Kleine Büning}和\textit{T.Lettmann}，Aussagenlogik:Deduktion und Algorithmen。斯图加特：Teubner（1994；Zbl 0809.03003）

筛选结果依据…

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件