×

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

最新的 引文 关联
爱德华·祖尔科斯基；布莱特，柯蒂斯；阿尔伯特·海因勒；伊利亚斯·科齐里亚斯；Czarnecki、Krzysztof；维杰·加内什

将SAT解算器与计算机代数系统结合起来验证组合猜想。 （英语） Zbl 1410.68413号

J.汽车。推理 58，第3号，313-339（2017）.
MSC公司：68瓦30 05B20号 05C15号 05C38号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Zulkoski}等人，J.Autom。推理58，No.3，313--339（2017；Zbl 1410.68413）
全文： 内政部
苏布拉马尼，K。；彼得·沃伊切乔夫斯基

UTVPI约束下整数可行性的比特缩放算法。 （英语） Zbl 1478.68198号

Mäkinen，Veli（编辑）等人，《组合算法》。2016年8月17日至19日，在芬兰赫尔辛基举行的第27届国际研讨会，IWOCA 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9843, 321-333 (2016).
MSC公司：68卢比 68周05 68瓦40 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{K.Subramani}和\textit{P.Wojciechowski}，莱克特。注释计算。科学。9843、321--333（2016年；Zbl 1478.68198）
全文： 内政部
加博尔·阿拉吉；克里斯托夫·韦登巴赫

NRCL–Bernays-Schönfinkel碎片的建模方法。 （英语） Zbl 1471.03013号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，波兰弗罗茨瓦夫，2015年9月21-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 69-84 (2015).
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{G.Alagi}和\textit{C.Weidenbach}，莱克特。注释计算。科学。9322，69-84（2015；Zbl 1471.03013）
全文： 内政部 arXiv公司 链接
爱德华·祖尔科斯基；维杰·加内什；Czarnecki、Krzysztof

MathCheck：通过计算机代数系统和SAT解题器相结合的数学助手。 （英语） Zbl 1465.68300号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 607-622 (2015).
MSC公司：68伏15 05-04 05C15号 05C45号 05立方厘米70 68兰特 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.Zulkoski}等人，Lect。注释计算。科学。9195607--622（2015；Zbl 1465.68300）
全文： 内政部
阿米特·戈尔；萨瓦·克里斯蒂奇；塞萨尔·蒂内利

组合理论的地面插值。 （英语） Zbl 1250.68188号

Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。《人工智能课堂讲稿》，183-198（2009）。
MSC公司：60年第68季度 03B35型 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Goel}等人，Lect。注释计算。科学。5663、183--198（2009年；Zbl 1250.68188）
全文： 内政部
马雷克，V.W。

Quo vadis答案集编程？过去、现在和未来。 （英语） Zbl 1185.68168号

Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366，83-87（2008）。
MSC公司：68N17号 2003年8月
PDF格式BibTeX公司 XML格式引用
\textit{V.W.Marek}，莱克特。注释计算。科学。5366、83-87（2008年；Zbl 1185.68168）
全文： 内政部
史蒂文·艾克；马丁·奥列特，纳西索；何塞·梅塞盖尔；阿尔贝托·维尔德乔

演绎、策略和重写。 （英语） Zbl 1277.68241号

Archer，Myler（编辑）等人，第六届自动扣除策略国际研讨会论文集（strategies 2006），西雅图，华盛顿州，美国，2006年8月16日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第11期，3-25页（2007年）。
MSC公司：68吨15 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Eker}等人，《电子》。注释Theor。计算。科学。174，第11号，第3--25号（2007；Zbl 1277.68241）
全文： 内政部
奥尔加·奥里蒙科；彼得·斯图基（Peter J.Stuckey）。；科迪什，迈克尔

传播=惰性子句生成。 （英语） Zbl 1145.68527号

Bessière，Christian（编辑），约束编程的原则和实践–CP 2007。2007年9月23日至27日，第13届国际会议，CP 2007，美国罗得岛州普罗维登斯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74969-1/pbk）。计算机科学课堂讲稿4741544-558（2007）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{O.Ohrimenko}等人，Lect。注释计算。科学。4741、544--558（2007年；Zbl 1145.68527）
全文： 内政部
大卫·沃尔特；小斯科特；克里斯·迈尔斯

使用SMT求解器对模拟和混合信号电路进行有界模型检查。 （英语） 兹比尔1141.68494

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿476266-81（2007）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Walter}等人，Lect。注释计算。科学。4762、66-81（2007年；Zbl 1141.68494）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件