罗伯特·加尼安;塞克拉·哈姆;杜珊·克诺普;西蒙·希里奇;这样啊,Ondřej 享乐多样性游戏:一张有两种以上颜色的复杂图片。 (英语) Zbl 1530.91035号 Artif公司。智力。 325,文章ID 104017,20 p.(2023).MSC公司:91A12号机组 68年第27季度 91B68型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}等人,Artif。智力。325,文章ID 104017,20 p.(2023;Zbl 1530.91035) 全文: 内政部 arXiv公司
安德烈·希德勒;斯泽德,斯特凡 用SAT计算最优超树分解。 (英语) Zbl 1531.68064号 Artif公司。智力。 325,文章ID 104015,18 p.(2023).MSC公司:68兰特 05C65号 68T20型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Schidler}和\textit{S.Szeider},Artif。智力。325,文章ID 104015,18 p.(2023;Zbl 1531.68064) 全文: 内政部
沃尔夫冈·德沃亚克;亚历山大·格雷勒;安娜·拉贝格;斯特凡·沃尔特兰 主张增强论证框架的复杂性。 (英语) Zbl 07698052号 Artif公司。智力。 317,文章ID 103873,38 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,Artif。智力。317,文章ID 103873,38 p.(2023;Zbl 07698052) 全文: 内政部
爱德华·艾本;罗伯特·加尼安;塞克拉·哈姆;塞巴斯蒂安·奥德尼亚克 社交网络中无嫉妒资源分配的参数化复杂性。 (英语) Zbl 07638300号 Artif公司。智力。 315,文章ID 103826,20 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{E.Eiben}等人,Artif。智力。315,文章ID 103826,20 p.(2023;Zbl 07638300) 全文: 内政部
阮、Trung Thanh;约尔格·罗特 公平高效的分配,代理类型少、项目类型少或价值水平低。 (英语) Zbl 07638292号 Artif公司。智力。 314,文章ID 103820,27 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Nguyen}和\textit{J.Rothe},Artif。智力。314,文章ID 103820,第27页(2023;Zbl 07638292) 全文: 内政部
托马斯·林斯比勒;马可·马拉提亚;安德烈亚斯·尼斯卡宁;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 (英语) Zbl 07505991号 Artif公司。智力。 307,文章ID 103697,40 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Linsbichler}等人,Artif。智力。307,文章ID 103697,40 p.(2022;Zbl 07505991) 全文: 内政部
尼古拉·吉甘特;安德烈亚·米凯利;安吉洛·蒙塔纳里;恩里科·斯卡拉 密集时间内基于行动的时间规划的可决定性和复杂性。 (英语) Zbl 07505989号 Artif公司。智力。 307,文章ID 103686,20 p.(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{N.Gigante}等人,Artif。智力。307,文章ID 103686,20 p.(2022;Zbl 07505989) 全文: 内政部
马库斯·赫彻 正常树宽的减少ASP公司到坐-是正常的ASP公司比…更难坐毕竟? (英语) Zbl 07482903号 Artif公司。智力。 304,文章ID 103651,第24页(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \文本{M.Hecher},Artif。智力。304,文章ID 103651,24 p.(2022;Zbl 07482903) 全文: 内政部
克里斯特·Bäckström;彼得·琼森 用于分析状态抽象方法的框架。 (英语) 兹比尔1486.68175 Artif公司。智力。 302,文章ID 103608,39 p.(2022).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bäckström}和\textit{P.Jonsson},Artif。智力。302,文章ID 103608,39 p.(2022;Zbl 1486.68175) 全文: 内政部
帕维尔·德沃亚克;爱德华·艾本;罗伯特·加尼安;杜珊·克诺普;塞巴斯蒂安·奥德尼亚克 ILP分解参数的复杂性:具有少量全局变量和约束的程序。 (英语) Zbl 1520.90171号 Artif公司。智力。 300,文章ID 103561,21 p.(2021).MSC公司:90立方厘米 65年第68季度 68年第27季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{P.Dvořák}等人,Artif。智力。300,文章ID 103561,21 p.(2021;Zbl 1520.90171) 全文: 内政部
多萝西娅·鲍迈斯特;马蒂·Järvisalo;丹尼尔·纽格鲍尔;安德烈亚斯·尼斯卡宁;约尔格·罗特 接受不完整的论证框架。 (英语) Zbl 1519.68244号 Artif公司。智力。 295,文章ID 103470,35 p.(2021).MSC公司:68T27型 65年第68季度 68立方英尺 68层37 PDF格式BibTeX公司 XML格式引用 \textit{D.Baumeister}等人,Artif。智力。295,文章ID 103470,35 p.(2021;Zbl 1519.68244) 全文: 内政部
罗伯特·加尼安;斯泽德,斯特凡 SAT和#SAT的新宽度参数。 (英语) Zbl 1519.68168号 Artif公司。智力。 295,文章ID 103460,18 p.(2021).MSC公司:68兰特 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ganian}和\textit{S.Szeider},人工制品。智力。295,文章ID 103460,第18页(2021;Zbl 1519.68168) 全文: 内政部
沃尔夫冈·德沃亚克;斯特凡·沃尔特兰 以权利要求为中心的抽象论证的复杂性。 (英语) Zbl 1451.68261号 Artif公司。智力。 285,文章ID 103290,21 p.(2020).MSC公司:68T27型 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}和\textit{S.Woltran},Artif。智力。285,文章ID 103290,21 p.(2020;Zbl 1451.68261) 全文: 内政部
马丁·克罗内格;塞巴斯蒂安·奥德尼亚克;安德烈亚斯·普范德勒 规划的后门。 (英语) Zbl 1478.68323号 Artif公司。智力。 269, 49-75 (2019).MSC公司:68T20型 68年第27季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{M.Kroneger}等人,Artif。智力。269、49-75(2019年;Zbl 1478.68323) 全文: 内政部
贝蒂娜·法辛加;塞尔吉奥·弗莱斯卡;菲利波·富尔法罗 概率抽象论证中基本问题的复杂性:超越独立性。 (英语) Zbl 1478.68352号 Artif公司。智力。 268, 1-29 (2019).MSC公司:68T27型 2017年第68季度 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{B.Fazzinga}等人,Artif。智力。268,1-29(2019年;Zbl 1478.68352) 全文: 内政部
汉内斯·斯特拉斯;约翰·彼得·沃纳 通过近似不动点理论分析抽象辩证框架的计算复杂性。 (英语) 兹比尔1346.68188 Artif公司。智力。 226, 34-74 (2015).MSC公司:68T27型 65年第68季度 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{H.Strass}和\textit{J.P.Wallner},Artif。智力。226、34-74(2015;Zbl 1346.68188) 全文: 内政部
费希特,约翰内斯·克劳斯;斯泽德,斯特凡 可控制答案集编程的后门。 (英语) Zbl 1328.68040号 Artif公司。智力。 220, 64-103 (2015).MSC公司:68N17号 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}和\textit{S.Szeider},Artif。智力。220、64-103(2015;Zbl 1328.68040) 全文: 内政部 arXiv公司
格恩瑟·查瓦特;沃尔夫冈·德沃亚克;莎拉·加格尔(Sarah A.Gaggl)。;约翰·沃纳(Johannes P.Wallner)。;斯特凡·沃尔特兰 解决抽象论证中推理问题的方法——综述。 (英语) Zbl 1328.68212号 Artif公司。智力。 220, 28-63 (2015).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Charwat}等人,Artif。智力。220、28-63(2015;Zbl 1328.68212) 全文: 内政部
萨默·诺法尔;阿特金森,凯蒂;保罗·E·邓恩。 优选语义下论元系统决策问题的算法。 (英语) Zbl 1334.68210号 Artif公司。智力。 207, 23-51 (2014).MSC公司:68T27型 03B25号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Nofal}等人,人工制品。智力。207,23-51(2014年;兹bl 1334.68210) 全文: 内政部
沃尔夫冈·德沃亚克;马蒂·Järvisalo;约翰·彼得·沃纳;斯特凡·沃尔特兰 抽象论证的复杂敏感决策程序。 (英语) 兹比尔1334.68206 Artif公司。智力。 206, 53-78 (2014).MSC公司:68T27型 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人,Artif。智力。206、53-78(2014年;Zbl 1334.68206) 全文: 内政部
塞尔盖·加斯佩斯;斯泽德,斯特凡 约束满足和推理中预处理的保证和限制。 (英语) Zbl 1405.68139号 Artif公司。智力。 216, 1-19 (2014).MSC公司:65年第68季度 68卢比 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaspers}和\textit{S.Szeider},Artif。智力。216、1-19(2014;Zbl 1405.68139) 全文: 内政部 arXiv公司