×

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

最新的 引文 关联
雅罗斯拉夫·本迪克；艾哈迈德·森坎；艾丁·戈尔（Ebru Aydin Gol）；伊万娜·乔纳

通过模型检查进行时间自动机稳健性分析。 （英语） Zbl 07577576号

日志。方法计算。科学。 18，第3号，第12号论文，32页（2022年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{J.Bendík}等人，《日志》。方法计算。科学。18，第3号，第12号论文，32页（2022；Zbl 07577576）
全文： arXiv公司 链接
玛丽亚·路易莎·博内；萨姆·巴斯；阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵

基于最大可满足性的命题证明系统。 （英语） Zbl 1520.68103号

Artif公司。智力。 300，文章ID 103552，39 p.（2021）.
MSC公司：68兰特 20层03 65年第68季度 68T20型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.L.Bonet}等人，Artif。智力。300，文章ID 103552，39 p.（2021；Zbl 1520.68103）
全文： 内政部
张建民；李铁军；马可凡

通过最小不可满足核提取加速谓词抽象。 （英语） Zbl 1481.68032号

何坤（编辑）等，《理论计算机科学》。2020年11月13日至15日，中国南宁，NCTCS 2020第38届全国会议。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1352, 3-13 (2021).
MSC公司：60年第68季度 03B70号 2007年7月68日
PDF格式BibTeX公司 XML格式引用
\textit{J.Zhang}等人，Commun。计算。信息科学。1352年3月13日（2021年；Zbl 1481.68032）
全文： 内政部
坎通纳，多梅尼科；皮埃特罗·毛吉里；尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。

集合论可判定片段的复杂性评估。二： 涉及成员关系的“小型”语言分类。 （英语） Zbl 1498.03113号

西奥。计算。科学。 848, 28-46 (2020).
MSC公司：03E30年 03B25号 03B35型 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Cantone}等人，Theor。计算。科学。84828--46（2020年；Zbl 1498.03113）
全文： 内政部
De Cat，Broes公司；尤利亚·利勒

约束CNF:SAT和CSP语言在同一屋檐下。 （英语） Zbl 1428.68284号

Carro，Manuel（编辑）等人，第32届逻辑编程国际会议的技术交流，ICLP 2016，2016年10月16日至21日，美国纽约。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。52，第12条，第15页（2016年）。
MSC公司：68T27型 03B05号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{B.DeCat}和\textit{Y.Lierler}，OASIcs--OpenAccess服务器。通知。52，第12条，第15页（2016年；兹bl 1428.68284）
全文： 内政部
埃格利，乌韦

QBFs的强计算。 （英语） Zbl 1475.68434号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9710, 419-434 (2016).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{U.Egly}，莱克特。票据计算。科学。9710、419至434（2016年；兹比尔1475.68434）
全文： 内政部 arXiv公司
汉斯·德·尼维尔

三值几何分辨率的包含算法。 （英语） Zbl 1405.68317号

Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-40228-4/pbk；978-3-3169-40229-1/电子书）。9706计算机科学课堂讲稿。人工智能课堂讲稿，257-272（2016）。
MSC公司：68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{H.de Nivelle}，莱克特。票据计算。科学。9706257--272（2016；Zbl 1405.68317）
全文： 内政部 arXiv公司
戴维·齐亚鲁吉；莫雷诺，法拉斯基；戴安娜·赫米思；卡洛斯·奥拉特

生物化学系统中空间和时间模式的验证。 （英语） Zbl 1351.68157号

Pauleve，Loic（编辑）等人，第五届静态分析和系统生物学国际研讨会（SASB 2014）的后期报道，德国慕尼黑，2014年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记316，29-44（2015）。
MSC公司：60年第68季度 03B70号 2005年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Chiarugi}等人，《电子》。注释Theor。计算。科学。316、29-44（2015；Zbl 1351.68157）
全文： 内政部
卡洛斯·奥拉特；伊莱恩·皮门特尔

再次验证并发约束编程的正确性。 （英语） Zbl 1342.68238号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312179-195，仅电子版（2015）。
MSC公司：68问题85 03B70号 第03页 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Olarte}和\textit{E.Pimentel}，电子。注释Theor。计算。科学。312179-195（2015；Zbl 1342.68238）
全文： 内政部
詹姆·阿里亚斯；米歇尔·古兹曼；卡洛斯·奥拉特

时间并发约束编程的符号模型。 （英语） Zbl 1342.68222号

Ayala-Rincón，Mauricio（编辑）等人，《逻辑和语义框架及其应用第九次研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312161-177，仅电子版（2015）。
MSC公司：68问题85 03B44号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Arias}等人，《电子》。注释Theor。计算。科学。312161-177（2015；Zbl 1342.68222）
全文： 内政部
卡洛斯·门西娅；亚历山德罗·普雷维蒂；若昂·西尔瓦侯爵

基于SAT的喇叭最小上界。 （英语） Zbl 1471.68256号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9340, 423-433 (2015).
MSC公司：68T20型 03B05号 03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{C.Mencía}等人，Lect。票据计算。科学。9340423--433（2015年；Zbl 1471.68256）
全文： 内政部
阿列克谢·伊格纳提耶夫；亚历山德罗·普雷维蒂；若昂·西尔瓦侯爵

基于SAT的公式简化。 （英语） Zbl 1471.68245号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9340, 287-298 (2015).
MSC公司：68T20型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{A.Ignatiev}等人，Lect。票据计算。科学。9340287--298（2015年；Zbl 1471.68245）
全文： 内政部
卡洛斯·奥拉特；Vivek Nigam先生；伊莱恩·皮门特尔

并发约束编程中的动态空间。 （英语） Zbl 1335.68180号

Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305，103-121，仅电子版（2014）。
MSC公司：68问题85 第03页
PDF格式BibTeX公司 XML格式引用
\textit{C.Olarte}等人，《电子》。注释Theor。计算。科学。305、103-121（2014年；Zbl 1335.68180）
全文： 内政部
菲利普·巴尔比亚尼；瓦伦丁·戈兰科；圭多·西亚维科

两种排序的时间间隔点逻辑。 （英语） Zbl 1347.03030号

van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》278，31-45（2011）。
MSC公司：03B44号 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Balbiani}等人，《电子》。注释Theor。计算。科学。278、31-45（2011年；Zbl 1347.03030）
全文： 内政部
沙哈卜·塔沙罗菲；尤金妮亚·特诺夫斯卡

搜索问题多语言建模中模块化的语义说明。 （英语） Zbl 1348.68232号

Tinelli，Cesare（编辑）等人，《联合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，259-274（2011）。
MSC公司：68T20型 03B62型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Tasharofi}和\textit{E.Ternovska}，莱克托。票据计算。科学。6989、259--274（2011；Zbl 1348.68232）
全文： 内政部
米科拉什，雅诺塔；若昂·西尔瓦侯爵

基于抽象的2QBF算法。 （英语） Zbl 1330.68115号

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲座笔记6695，230-244（2011）。
MSC公司：65年第68季度 03B05号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Janota}和\textit{J.Marques-Silva}，莱克特。票据计算。科学。6695，230-244（2011；Zbl 1330.68115）
全文： 内政部
纳迪亚·克里诺；橄榄、油炸；约翰·施密特

通过非递减权重枚举布尔CSP的所有解。 （英语） Zbl 1330.68108号

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲座笔记6695120-133（2011）。
MSC公司：65年第68季度 03B05号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Creignou}等人，Lect。票据计算。科学。6695、120--133（2011年；Zbl 1330.68108）
全文： 内政部
克利须那五世·帕勒姆。

通过计算镜头的时间之箭。 （英语） Zbl 1288.03006号

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200，362-369（2010）。
MSC公司：03A05号 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.V.Palm}，莱克特。票据计算。科学。6200、362--369（2010；Zbl 1288.03006）
全文： 内政部
哈利勒·杰卢尔

基于对偶约束的函数分解理论的有效决策过程。 （英语） Zbl 1248.03019号

Oddi，Angelo（编辑）等人，约束的最新进展。第十三届ERCIM约束求解和约束逻辑编程国际研讨会，CSCLP 2008，罗马，意大利，2008年6月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03250-9/pbk）。计算机科学讲座笔记5655。人工智能课堂讲稿，33-50（2009）。
MSC公司：03B25号 03C07号机组 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{K.Djelloul}，莱克特。票据计算。科学。5655，33-50（2009；Zbl 1248.03019）
全文： 内政部
西蒙·波娃

可分剩余格上的软约束处理。 （英语） Zbl 1245.68171号

Sossai，Claudio（编辑）等人，《不确定性推理的符号和定量方法》。第十届欧洲会议，ECSQARU 2009，意大利维罗纳，2009年7月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02905-9/pbk）。计算机科学课堂讲稿5590。人工智能课堂讲稿，887-898（2009）。
MSC公司：68T20型 03G25号 05年6月
PDF格式BibTeX公司 XML格式引用
\textit{S.Bova}，莱克特。票据计算。科学。5590、887--898（2009年；Zbl 1245.68171）
全文： 内政部
斯泽德，斯特凡

局部基数约束图上的一元二阶逻辑。 （英语） Zbl 1173.03300号

Ochmaánski，Edward（编辑）等人，《2008年计算机科学数学基础》。2008年8月25日至29日，第33届国际研讨会，MFCS 2008，波兰托伦。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85237-7/pbk）。计算机科学课堂讲稿5162601-612（2008）。
MSC公司：03B15号机组 03B25号 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{S.Szeider}，莱克特。票据计算。科学。5162、601--612（2008；Zbl 1173.03300）
全文： 内政部
Phokion G.科莱蒂斯。；莫舍·瓦尔迪。

约束满足的逻辑方法。 （英语） Zbl 1171.03322号

Creignou，Nadia（编辑）等人，《约束的复杂性》。当前研究主题概述。柏林：施普林格出版社（ISBN 978-3-540-92799-0/pbk）。计算机科学讲义5250，125-155（2008）。
MSC公司：03B70号 65年第68季度 第68页，共15页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，莱克特。票据计算。科学。5250125-155（2008年；Zbl 1171.03322）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件