弗拉基米尔·基亚特金。;安娜·V·科舍列娃。 基于\（mathbb{Z}\）的时态多值逻辑中的可满足性。 （英语） Zbl 07503901号 J.西布。联邦大学数学系。物理学。 第15期，第1期，第56-74页（2022年）.MSC公司：03亿xx 68泰克 91轴 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Kiyatkin}和\textit{A.V.Kosheleva}，J.Sib。联邦大学数学系。物理学。15，编号1，56--74（2022；Zbl 07503901） 全文： 内政部 跨国公司
丹尼尔·豪斯曼;卢茨·施罗德 嵌套不动点的拟多项式计算。 （英语） Zbl 1467.68085号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12651, 38-56 (2021).MSC公司：60年第68季度 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}和\textit{L.Schröder}，莱克特。注释计算。科学。12651，38-56（2021；Zbl 1467.68085） 全文： 内政部 arXiv公司
沈晨丽;林文松 图表上的时尚游戏。 （英语） Zbl 1506.91028号 离散优化。 38，文章ID 100606，15 p.（2020）.MSC公司：91A43型 91天30分 PDF格式BibTeX公司 XML格式引用 \textit{C.Shen}和\textit{W.Lin}，离散优化。38，文章ID 100606，15 p.（2020；Zbl 1506.91028） 全文： 内政部
廖晓娟;宫崎骏小村 MC-nets下联盟结构生成的MaxSAT编码的比较分析和改进。 （英语） Zbl 1430.68344号 J.日志。计算。 29，第6号，913-931（2019）.MSC公司：68T42型 68兰特 68T20型 91年10月 PDF格式BibTeX公司 XML格式引用 \textit{X.Liao}和\textit{M.Koshimura}，J.Log。计算。29，第6号，913--931（2019；Zbl 1430.68344） 全文： 内政部
刘旭东;米罗斯瓦·特鲁什琴斯基 组合域上部分词典偏好森林的基于投票的集成学习。 （英语） Zbl 1452.68191号 安。数学。Artif公司。智力。 87，编号1-2，137-155（2019）.MSC公司：68立方英尺 68T05型 91B12号机组 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{X.Liu}和\textit{M.Truszczynski}，Ann.数学。Artif公司。智力。87，编号1--2，137-155（2019；Zbl 1452.68191） 全文： 内政部
廖晓娟;宫崎骏小村;川崎野本;铃木上田;樱井裕子;Makoto Yokoo公司 改进的WPM编码用于MC-nets下的联盟结构生成。 （英语） Zbl 1468.68203号 约束条件 24，编号1，25-55（2019）.MSC公司：68T20型 68兰特 91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{X.Liao}等人，《限制条件24》，第1期，第25-55页（2019年；Zbl 1468.68203） 全文： 内政部
杰罗姆·朗;杰罗姆·梅根;夏丽蓉 在具有条件词典偏好的多问题域上进行投票。 （英语） Zbl 1483.91077号 Artif公司。智力。 265, 18-44 (2018). 审核人：Annibal Parracho Sant’Anna（里约热内卢） MSC公司：91B14号机组 91B12号机组 91-08 PDF格式BibTeX公司 XML格式引用 \textit｛J.Lang｝等人，人工制品。智力。265，18-44（2018年；兹比尔1483.91077） 全文： 内政部 链接
查、奥龙;川崎野本;铃木上田;宫崎骏小村;樱井裕子;Makoto Yokoo公司 使用简洁的图形表示法生成分区函数游戏的联盟结构。 （英语） Zbl 1503.91022号 An，Bo（编辑）等人，《2017年PRIMA：多智能体系统的原理和实践》。第20届国际会议，法国尼斯，2017年10月30日至11月3日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10621, 143-159 (2017).MSC公司：91A12号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Zha}等人，Lect。注释计算。科学。10621、143--159（2017；Zbl 1503.91022） 全文： 内政部
法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 策略推理：关于可满足性问题。 （英语） Zbl 1448.68312号 日志。方法计算。科学。 13，第1号，第9号论文，37页（2017年）.MSC公司：60年第68季度 03B44号 03B70号 2017年第68季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人，日志。方法计算。科学。13，第1号，第9号论文，37页（2017；Zbl 1448.68312） 全文： 内政部 arXiv公司
海蒂·盖鲍尔;提博尔·萨博;塔尔多斯，加博 SAT的局部引理是渐近紧的。 （英语） Zbl 1426.68121号 美国临床医学杂志 63，第5号，第43条，32页（2016年）.MSC公司：65年第68季度 05C35号 05年40月 2017年第68季度 68卢比 91A60型 PDF格式BibTeX公司 XML格式引用 \textit{H.Gebauer}等人，J.ACM 63，第5号，第43条，32页（2016年；Zbl 1426.68121） 全文： 内政部 arXiv公司
丹尼尔·豪斯曼;卢茨·施罗德;克里斯托夫·艾格 无交互\（\mu\）-演算的全局缓存。 （英语） Zbl 1392.68301号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59，第34条，第15页（2016）。MSC公司：68问题85 03B44号 03B45号 03G30型 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人，LIPIcs——莱布尼茨国际程序。通知。59，第34条，第15页（2016年；Zbl 1392.68301） 全文： 内政部 arXiv公司
尤塞夫·哈马迪;萨伊德·贾布尔;拉赫达尔·塞伊斯 我们可以从命题可满足性中的冲突中学到什么。 （英语） Zbl 1411.91118号 安·Oper。物件。 240，第1期，13-37（2016）.MSC公司：91A26型 68瓦30 90C09型 91-04 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hamadi}等人，Ann.Oper。第240号决议，第1号，第13-37号（2016年；Zbl 1411.91118） 全文： 内政部
凯乔·赫尔扬科;Keinänen，米萨;马丁·兰格;伊尔卡·尼梅尔 通过降低SAT来解决平价游戏。 （英语） Zbl 1279.68211号 J.计算。系统。科学。 78，第2期，430-440（2012）.MSC公司：60年第68季度 03B70号 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人，J.Compute。系统。科学。78，第2号，430-440（2012；Zbl 1279.68211） 全文： 内政部
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 1237.91075号 浙江大学理工学院。A类 第10期，第12期，1784-1789（2009）.MSC公司：91B06型 90C05（二氧化碳） PDF格式BibTeX公司 XML格式引用 \textit{L.Li}等人，浙江科技大学。A 10，第12号，1784-1789（2009；Zbl 1237.91075） 全文： 内政部
托马斯·奥戈特内斯;范德霍克，威比;迈克尔·伍尔德里奇 量化联盟逻辑。 （英语） Zbl 1169.03020号 合成 165，第2号，269-294（2008）.MSC公司：03B60号 60年第68季度 68T27型 91A12号机组 91B14号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人，《合成》165，第2期，269--294（2008；Zbl 1169.03020） 全文： 内政部
瓦伦丁·戈兰科;范·德里姆伦（van Drimmelen）、戈弗特（Govert） 交替时间-时间逻辑的完全公理化和可判定性。 （英语） Zbl 1089.03013号 西奥。计算。科学。 353，编号1-3，93-117（2006）.MSC公司：03B44号 60年第68季度 03B25号 91A80型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{G.van Drimmelen}，Theor。计算。科学。353，编号1--3，93-117（2006；Zbl 1089.03013） 全文： 内政部
威廉·沃尔什（William E.Walsh）。;Makoto Yokoo公司;平山、胜都;迈克尔·P·威尔曼。 关于命题可满足性的市场激励方法。 （英语） Zbl 1079.68623号 Artif公司。智力。 144，编号1-2，125-156（2003）.MSC公司：68T20型 91B26型 PDF格式BibTeX公司 XML格式引用 \textit{W.E.Walsh}等人，Artif。智力。144，第1-2125-156号（2003年；兹bl 1079.68623） 全文： 内政部
A.阿诺德。;文森特，A。;Walukiewicz，I。 具有部分观测的控制器合成游戏。 （英语） Zbl 1175.93148号 西奥。计算。科学。 303，第1期，7-34（2003）.MSC公司：93元65角 91A43型 05年3月 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}等人，Theor。计算。科学。303，编号1，7--34（2003；Zbl 1175.93148） 全文： 内政部
顾军 SAT和调度问题的随机确定性局部搜索。 （英语） Zbl 0912.68020号 Pardalos，Panos（编辑）等人，算法设计中的随机化方法。DIMACS研讨会，美国新泽西州普林斯顿大学，1997年12月12日至14日。普罗维登斯，RI:AMS，美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。43, 61-108 (1999).MSC公司：第68页第10页 68宽10 03B05号 91B06型 90B35型 68平方米 90C27型 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，DIMACS，序列号。离散数学。西奥。计算。科学。43，61-108（1999年；兹bl 0912.68020）
顾军 Multi-SAT算法。 （英语） Zbl 0902.68094号 Pardalos，Panos M.（编辑）等人，《半定和内点方法的主题》。普罗维登斯，RI:AMS，美国数学学会。字段Inst.Commun。18, 109-126 (1998).MSC公司：2012年第68季度 03B05号 91B06型 68吨15 90C27型 90B40码 68T01型 2015年第68季度 65年第68季度 第68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，Fields Inst.Commun公司。18、109-126（1998年；Zbl 0902.68094）
伯纳黛特·布琼·梅尼尔;玛丽亚·里夫奇;西尔维·博托雷尔 对物体进行比较的一般措施。 （英语） Zbl 0917.94028号 模糊集系统。 84，第2期，143-153（1996）.MSC公司：94D05型 91E99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Bouchon-Meunier}等人，《模糊集系统》。84，第2号，143--153（1996；Zbl 0917.94028） 全文： 内政部
顾军 可满足性（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 2012年第68季度 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Gu}，DIMACS，序列号。离散数学。西奥。计算。科学。22105-161（1995年；Zbl 0833.68059）
伊恩·斯图尔特（Iain A.Stewart）。 复杂性类的逻辑和示意特征。 （英语） Zbl 0790.68045号 学报信息。 30，第1号，61-87（1993）. 审核人：I.A.Stewart（泰恩河畔新城堡） MSC公司：2015年第68季度 2015年3月1日 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Stewart}，《信息学报》第30期，第1期，第61-87页（1993年；Zbl 0790.68045） 全文： 内政部
埃里希·格拉德尔 多米诺游戏和复杂性。 （英语） Zbl 0711.68044号 SIAM J.计算。 19，第5期，787-804（1990）.MSC公司：2015年第68季度 2015年3月1日 2005年第68季度 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}，SIAM J.计算。19，第5号，787--804（1990；Zbl 0711.68044） 全文： 内政部
埃里克·斯文（Eric Sven Ristad）;罗伯特·C·伯威克。 自然语言中一致性和歧义性的计算结果。 （英语） Zbl 0747.92034号 数学杂志。精神病。 33，第4期，第379-396页（1989年）.MSC公司：91层20 2005年第68季度 91E99型 03B65号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.S.Ristad}和\textit{R.C.Berwick}，J.Math。精神病。33，第4号，379--396（1989；Zbl 0747.92034） 全文： 内政部 链接