佩特拉·沃尔夫 关于在常规ILP实例集中找到正ILP实例的可判定性。 (英文) Zbl 07578097号 学报信息。 59,第4号,505-519(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Wolf},Acta Inf.59,No.4,505--519(2022;Zbl 07578097) 全文: 内政部
朱利安·古铁雷斯;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;萨沙·鲁宾;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 定性和定量目标相结合的博弈均衡。 (英文) Zbl 1483.68193号 学报信息。 58,编号6,585-610(2021).MSC公司:60年第68季度 03B44号 68T42型 91A80 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,《信息学报》58,第6期,585--610(2021年;Zbl 1483.68193) 全文: 内政部 arXiv公司 链接
亚伦·波希;维罗尼克·布鲁埃;Jean-François拉斯金;Nathalie Bertrand 单调马尔可夫决策过程中平均路径和最短路径的符号算法。 (英文) Zbl 1378.68122号 学报信息。 54,第6号,545-587(2017).MSC公司:87年第68季度 68第05页 60年第68季度 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Bohy}等人,《学报》第54期,第6期,第545--587页(2017年;Zbl 1378.68122) 全文: 内政部 arXiv公司
米凯尔·尼尔森;乔纳斯·克瓦伦斯特罗姆;帕特里克·多尔蒂 具有不确定性的简单时态网络的有效处理:动态可控性验证算法。 (英文) Zbl 1350.68252号 学报信息。 53,编号6-8,723-752(2016).MSC公司:68T42型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Nilsson}等人,《学报》第53期,第6--8、723--752号(2016年;Zbl 1350.68252) 全文: 内政部 链接
亚历山德罗·西马蒂;卢克·亨斯伯格;安德烈亚·米凯利;罗伯托·波塞纳托;马可·罗维里 通过定时游戏自动机实现动态可控性。 (英文) Zbl 1350.68251号 学报信息。 53,第6-8号,681-722(2016).MSC公司:68T42型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《学报》第53期,第6--8、681--722号(2016年;Zbl 1350.68251) 全文: 内政部 链接
维克托·舒潘 通过时间分辨率提取LTL的不可满足核心。 (英文) Zbl 1338.68170号 学报信息。 53,编号3247-299(2016).MSC公司:60年第68季度 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Schuppan},Acta Inf.53,No.3,247--299(2016;Zbl 1338.68170) 全文: 内政部 arXiv公司
Aceto,卢卡;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 (英文) Zbl 1339.03018号 学报信息。 53,第3期,207-246(2016). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》53,第3期,207--246(2016;Zbl 1339.03018) 全文: 内政部 链接
Jean-François康多塔;苏希拉·卡奇;雅库布Salhi 时间定性约束网络中的优化。 (英文) 兹比尔1336.68244 学报信息。 53,第2期,149-170(2016).MSC公司:68T27型 68第05页 2017年第68季度 65年第68季度 68兰特 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Condotta}等人,《信息学报》53,第2期,149--170(2016年;Zbl 1336.68244) 全文: 内政部
卢克·亨斯伯格 具有不确定性的动态可控简单时态网络的高效执行。 (英文) Zbl 1336.68250号 学报信息。 53,第2期,89-147(2016).MSC公司:68层37 68第05页 65年第68季度 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{L.Hunsberger},Acta Inf.53,No.2,89--147(2016;Zbl 1336.68250) 全文: 内政部
卡德尔斯,香椿 满足事务数据库约束的复杂性。 (英文) Zbl 1133.68328号 学报信息。 44,编号7-8,591-624(2007).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{T.Calders},《学报信息》第44期,第7--8、591--624号(2007年;Zbl 1133.68328) 全文: 内政部
内奥米·西村;拉格德,普拉巴卡尔;斯泽德,斯特凡 使用顶点覆盖求解#SAT。 (英文) Zbl 1133.68073号 学报信息。 44,编号7-8,509-523(2007).MSC公司:68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishimura}等人,《信息学报》第44期,第7--8、509--523号(2007年;Zbl 1133.68073) 全文: 内政部
尼古拉·塔蒂 二进制数据集的安全投影。 (英文) Zbl 1089.68037号 学报信息。 42,编号8-9,617-638(2006).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Tatti},《学报》第42期,第8--9、617--638号(2006年;Zbl 1089.68037) 全文: 内政部 arXiv公司
约阿希姆·比斯库普;都柏林,普拉托;叶霍舒亚·萨吉夫 联合查询子类的优化。 (英文) Zbl 0815.68048号 学报信息。 32,第1期,1-26页(1995年). 审核人:J.Biskup(希尔德斯海姆) MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Biskup}等人,《信息学报》32,第1期,1--26页(1995年;Zbl 0815.68048) 全文: 内政部
金·万豪酒店 抽象解释框架。 (英文) Zbl 0790.68074号 学报信息。 30,第2期,103-129(1993).MSC公司:60年第68季度 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{K.Marriott},Acta Inf.30,No.2,103--129(1993;Zbl 0790.68074) 全文: 内政部
迪帕克·卡普尔;巴利亚特·纳伦德兰;丹尼尔·罗森克兰茨。;张汉涛 充分完整性、地面可简化性及其复杂性。 (英文) Zbl 0721.68032号 学报信息。 28,第4期,311-350(1991). 审核人:S.P.Yukna(维尔纽斯) MSC公司:2012年第68季度 第68季度第65季度 65年第68季度 2015年3月1日 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人,《学报》第28期,第4期,第311--350页(1991年;Zbl 0721.68032) 全文: 内政部
乌尔夫·R·施梅尔。 公式树上的分辨率。 (英文) Zbl 0637.68102号 学报信息。 25,第4号,425-438(1988).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.R.Schmerl},《信息学报》25,第4期,425--438(1988;Zbl 0637.68102) 全文: 内政部
何塞·费亚德罗;阿米尔卡尔·塞尔纳达斯 数据库动态的规范和验证。 (英文) Zbl 0627.68078号 学报信息。 25,第6号,625-661(1988).MSC公司:68第20页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fiadeiro}和\textit{A.Sernadas},《学报》第25期,第6期,第625--661页(1988;Zbl 0627.68078) 全文: 内政部
约格·西克曼;格雷厄姆·怀特森 参数化连接图。 (英文) Zbl 0407.05070号 学报信息。 13, 67-86 (1980).MSC公司:05C99年 PDF格式BibTeX公司 XML格式引用 \textit{J.Siekmann}和\textit{G.Wrightson},《学报》第13期,第67-86页(1980年;Zbl 0407.05070) 全文: 内政部
克里默斯,阿明B。;托马斯·希伯德。 数据空间中的功能行为。 (英文) Zbl 0374.68010号 学报信息。 9, 293-307 (1978).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.B.Cremers}和\textit{T.N.Hibbard},《学报》第9期,第293--307页(1978年;Zbl 0374.68010) 全文: 内政部
尼西姆·弗朗西兹;鲍里斯·克莱班斯基;阿米尔·普努利 递归计算中的回溯。 (英文) Zbl 0359.68023号 学报信息。 8, 125-144 (1977).MSC公司:68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,《信息学报》8,125--144(1977;Zbl 0359.68023) 全文: 内政部