米奥德拉格·拉什科维奇；佐兰·奥格尼亚诺维奇 关于概率推理的逻辑。 （英语） Zbl 0863.03008号 Herceg，D.（ed.）等人，第九届应用数学会议，1994年5月30日至6月1日，南斯拉夫布德瓦。诉讼程序。诺维萨德大学，365-369（1995）。MSC公司：03B48号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković}和\textit{Z.Ognjanović，in：第九届应用数学会议，1994年5月30日至6月1日，南斯拉夫布德瓦。诉讼程序。诺维萨德大学。365-369（1995年；兹bl 0863.03008）
伊恩·霍德金森 关于Gabbay的时间不动点算子。 （英语） Zbl 0874.68272号 西奥。计算。科学。 139，第1-2、1-25号（1995年）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{I.霍德金森}，Theor。计算。科学。139，编号1--2，1--25（1995；Zbl 0874.68272） 全文： 内政部
杰·雅克·赫布拉德 唯一喇叭重命名和唯一2-可满足性。 （英语） Zbl 0875.68454号 信息处理。莱特。 54，第4期，235-239（1995）.MSC公司：68宽10 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Hébrard}，信息处理。莱特。54，第4号，235--239（1995；Zbl 0875.68454） 全文： 内政部
约翰·施利普夫（John S.Schlipf）。；Fred S.Annenstein。；约翰·V·佛朗哥。；斯瓦米纳坦，R.P。 关于寻找扩展Horn公式的解。 （英语） Zbl 0875.68451号 信息处理。莱特。 54，第3期，133-137（1995）.MSC公司：68宽10 PDF格式BibTeX公司 XML格式引用 \textit｛J.S.Schlipf｝等人，Inf.过程。莱特。54，第3号，133--137（1995；Zbl 0875.68451） 全文： 内政部
纳迪亚·克里诺 线性等价于可满足性或证明NP完全性的统一方法的一类问题。 （英语） Zbl 0874.68127号 西奥。计算。科学。 145，编号1-2，111-145（1995）.MSC公司：2015年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}，Theor（西奥）。计算。科学。145，编号1-2111-145（1995年；Zbl 0874.68127） 全文： 内政部
亚当·布鲁克斯·韦伯 区间可满足性猜想的证明。 （英语） Zbl 0868.68063号 安。数学。Artif公司。智力。 15，第2期，231-238（1995）.MSC公司：68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Webber}，安。数学。Artif公司。智力。15，第2231-238号（1995年；Zbl 0868.68063） 全文： 内政部
于丽安；刘彦培 关于3-正则子图问题的注记。 （中文。英文摘要） Zbl 0855.05095号 数学学报。申请。罪。 18，第2期，176-178（1995）.MSC公司：05C99年 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{L.Yu}和\textit{Y.Liu}，《数学学报》。申请。罪恶。18，第2号，176--178（1995；Zbl 0855.05095）
尤金尼奥·奥莫代奥（Eugenio G.Omodeo）。；阿尔贝托，Policriti 可解集合/超高上下文：I.纯有限情形的一些决策过程。 （英语） Zbl 0849.03009号 Commun公司。纯应用程序。数学。 48，编号9-10，1123-1155（1995）. 审核人：J.M.Plotkin（东兰辛） MSC公司：03B25号 03E99型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Omodeo}和\textit{A.Policriti}，Commun。纯应用程序。数学。48，编号9--10，1123--1155（1995；Zbl 0849.03009） 全文： 内政部
坎通纳，多梅尼科；阿尔弗雷多·费罗 可计算集合论技术及其在证明验证中的应用。 （英语） Zbl 0852.03004号 Commun公司。纯应用程序。数学。 48，编号9-10，901-945（1995）. 审核人：J.M.Plotkin（东兰辛） MSC公司：03B25号 03E99型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}和\textit{A.Ferro}，Commun。纯应用程序。数学。48，编号9--10，901--945（1995；Zbl 0852.03004） 全文： 内政部
丹·布特纳留；Erich Peter克莱门；萨米·扎弗兰 基于三角范数的命题模糊逻辑。 （英语） Zbl 0844.03011号 模糊集系统。 69，第3期，241-255（1995）.MSC公司：03B52号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{D.Butnariu}等人，模糊集系统。69，第3号，241--255（1995；Zbl 0844.03011） 全文： 内政部
拉兹博罗夫，A.A。 有界算法某些片段中电路大小下限的不可证明性。 （英语） Zbl 0838.03045号 伊兹夫。数学。 59，第1期，205-227（1995）和Izv。罗斯。阿卡德。Nauk，爵士。材料59，编号1201-224（1995年）。MSC公司：03英尺30英寸 65年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{A.A.Razborov}，Izv。数学。59，No.1，205--227（1995）和Izv。罗斯。阿卡德。Nauk，爵士。材料59，编号1，201--224（1995；Zbl 0838.03045） 全文： 内政部
El Maftouhi，A。；费尔南德斯·德拉维加（Fernandez de la Vega，W.）。 随机3-sat。 （英语） Zbl 0840.68051号 梳子。普罗巴伯。计算。 第4期，第3期，189-195年（1995年）.MSC公司：68宽10 PDF格式BibTeX公司 XML格式引用 \textit{A.El Maftouhi}和\textit{W.Fernandez de la Vega}，库姆。普罗巴伯。计算。4，第3号，189--195（1995；Zbl 0840.68051） 全文： 内政部
顾军 可满足性（SAT）问题的并行算法。 （英语） Zbl 0833.68059号 Pardalos，Panos M.（编辑）等，离散优化问题的并行处理。DIMACS研讨会论文集，1994年4月28日至29日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI：美国数学学会。DIMACS，系列。离散数学。西奥。计算。科学。22, 105-161 (1995).MSC公司：68宽15 03B05号 91B06型 68吨15 第68季度第42季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，DIMACS，序列号。离散数学。西奥。计算。科学。22105-161（1995年；Zbl 0833.68059）
汉斯·尤根·奥巴赫；克里斯托夫·韦登巴赫 关于Skolem函数假设的注记。 （英语） Zbl 0879.03006号 J.汽车。推理 15，第2期，267-275（1995）. 审核人：G.Dowek（勒切斯奈） MSC公司：03B35型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{C.Weidenbach}，J.Autom。推理15，No.2，267--275（1995；Zbl 0879.03006） 全文： 内政部
胡克，J.N。；维奈，V。 可满足性的分支规则。 （英语） Zbl 0838.68098号 J.汽车。推理 15，第3期，359-383（1995）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Hooker}和\textit{V.Vinay}，J.Autom。推理15，No.3，359--383（1995；Zbl 0838.68098） 全文： 内政部
黄文奇 一种求解CNF可满足性问题的常微分方程方法。 （中文。英文摘要） Zbl 0839.68032号 华中科技大学学报。Technol公司。 23，第3期，第1-3期（1995年）.MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Huang}，J.华中科技大学。Technol公司。23，第3号，1--3（1995；Zbl 0839.68032）
约阿希姆·迈耶；伊尔塞·米特雷特；弗朗兹·约瑟夫·雷德马赫 命题可满足性问题求解算法的运行时间实验。 （英语） Zbl 0844.68059号 安·Oper。物件。 55, 139-178 (1995).MSC公司：65年第68季度 68甲15 90C99号 PDF格式BibTeX公司 XML格式引用 \textit{J.Mayer}等人，Ann.Oper。第55号决议、第139--178号决议（1995年；Zbl 0844.68059） 全文： 内政部
恩里克·卡萨诺瓦斯 紧凑的可扩展模型和稳定性。 （英语） Zbl 0827.03021号 J.塞姆。日志。 60，第2期，673-683（1995）. 审核人：C.托法洛里（卡梅里诺） MSC公司：03元50分 03C45型 PDF格式BibTeX公司 XML格式引用 \textit{E.Casanovas}，J.Symb。日志。60，第2号，673--683（1995；Zbl 0827.03021） 全文： 内政部
费德，托马斯 稳定的网络和产品图。 （英语） Zbl 0875.68397号 内存。美国数学。索克。555223页（1995年）。MSC公司：2005年第68季度 05C12号 PDF格式BibTeX公司 XML格式引用 \textit{T.Feder}，稳定网络和产品图。普罗维登斯，RI:美国数学学会（AMS）（1995；Zbl 0875.68397） 全文： 内政部
罗伯托·贾乔 不确定性可满足性问题的在线算法。 （英语） Zbl 1528.68412号 Mayr，Ernst W.（编辑）等人，《计算机科学中的图论概念》。第20届国际研讨会。1994年6月16日至18日，德国赫尔兴，1994年工作组。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。903, 371-386 (1995).MSC公司：68周27 03B05号 05C65号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Giaccio}，莱克特。注释计算。科学。903、371--386（1995年；Zbl 1528.68412） 全文： 内政部
理查德·张；吉姆·卡丁；潘卡吉·罗哈吉 关于随机约简的唯一可满足性和阈值行为。 （英语） Zbl 0837.68026号 J.计算。系统。科学。 50，第3期，359-373（1995）.MSC公司：2015年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \文本{R.Chang}等人，J.Comput。系统。科学。50，第3号，359--373（1995；Zbl 0837.68026） 全文： 内政部 链接
皮埃尔·汉森；碧姬·杰马尔；马库斯·波吉·德·阿拉戈 布尔关于不确定性下可能经验和推理的条件。 （英语） 兹比尔0835.0043 离散应用程序。数学。 60，第1-3号，181-193（1995）.MSC公司：90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{P.Hansen}等人，《离散应用》。数学。60，编号1--3，181--193（1995；Zbl 0835.90043） 全文： 内政部
G·加洛。；D.普雷托拉尼。 命题可满足性问题的一种新算法。 （英语） Zbl 0836.68080号 离散应用程序。数学。 60，编号1-3，159-179（1995）.MSC公司：68兰特 05C65号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gallo}和\textit{D.Pretolani}，离散应用。数学。60，编号1--3159-179（1995；Zbl 0836.68080） 全文： 内政部
斯瓦米纳坦，R.P。；唐纳德·瓦格纳。 树木重新化问题。 （英语） Zbl 0834.68093号 离散应用程序。数学。 59，第3期，267-283（1995）.MSC公司：68兰特 65年第68季度 05元50分 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.P.Swaminathan}和\textit{D.K.Wagner}，离散应用。数学。59，第36267-283号（1995年；兹bl 0834.68093） 全文： 内政部
埃里克·雷米拉 用条平铺，满足布尔公式。 （英语） Zbl 1508.68389号 Reichel，Horst（编辑），《计算理论基础》。1995年8月22日至25日，第十届国际会议，FCT’95，德国德累斯顿。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。965, 404-413 (1995).MSC公司：68单位05 03B05号 05B45号 52C20个 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{E.Rémila}，莱克特。注释计算。科学。965、404--413（1995年；Zbl 1508.68389） 全文： 内政部
彼得·杰文斯（Peter G.Jeavons）。；马丁·库珀。 有序域上的可追踪约束。 （英语） Zbl 1508.68132号 Artif公司。智力。 79，第2号，327-339（1995）.MSC公司：65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jeavons}和\textit{M.C.Cooper}，Artif。智力。79，第2号，327--339（1995；Zbl 1508.68132） 全文： 内政部
托马斯·艾特；Pekka Kilpeläinen；海基·曼尼拉 识别可重命名的广义命题Horn公式是NP-完全的。 （英语） Zbl 0822.68050号 离散应用程序。数学。 59，第1期，23-31（1995）.MSC公司：65年第68季度 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人，《离散应用》。数学。59，编号1，23-31（1995；Zbl 0822.68050） 全文： 内政部
李伟；黄文奇 可满足性问题的数学物理方法。 （英语） Zbl 0817.68091号 科学。中国，Ser。A类 38，第1期，116-128（1995）.MSC公司：65年第68季度 94立方厘米 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{W.Li}和\textit{W.Huang}，科学。中国，Ser。A 38，编号1，116--128（1995；Zbl 0817.68091）
约翰·马考斯基（Johann A.Makowsky）。；亚伯拉罕·谢雷尔 对称分布的平均情况复杂度为\（\text{SAT}\）。 （英语） Zbl 0989.03039号 J.日志。计算。 5，第1期，71-92（1995）.MSC公司：2015年3月1日 03B35型 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}和\textit{A.Sharell}，J.Log。计算。5，编号1，71--92（1995；Zbl 0989.03039） 全文： 内政部
纳迪亚·克里诺 最大广义可满足性问题的二分法定理。 （英语） Zbl 1294.68090号 J.计算。系统。科学。 51，第3期，511-522（1995）.MSC公司：65年第68季度 2017年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}，J.计算。系统。科学。51，第3号，511--522（1995；Zbl 1294.68090） 全文： 内政部
哈基米·本纳西尔；格拉德高原 约束满足和组合优化。 （英语） Zbl 0884.90124号 贝尔格。《运营杂志》。资源统计计算。科学。 35，第3-4、41-59号（1995年）.MSC公司：90C27型 68T20型 90C09型 PDF格式BibTeX公司 XML格式引用 \textit{H.Bennaceur}和\textit{G.Plateau}，贝尔格。《运营杂志》。资源统计计算。科学。35，编号3--4，41-59（1995；Zbl 0884.90124）
达维多夫，G.V。；达维多娃，I.M。 线性系统的可解性和可满足性。 （英语。俄文原件） Zbl 0883.68064号 维斯特。圣彼得堡大学数学。 28，第4期，第11-13页（1995年）; 由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。1995年，第4期，第14-17页（1995年）。MSC公司：2015年第68季度 65楼30 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Davydov}和\textit{I.M.Davidova}，Vestn。圣彼得堡大学数学。28，第4号，第11--13号（1995；Zbl 0883.68064）；由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。1995年，第4期，第14--17期（1995年）