Ganian, Robert; Hamm, Thekla; Knop, Dušan; Schierreich, Šimon; Suchý, Ondřej Hedonic diversity games: a complexity picture with more than two colors. (English) Zbl 07777844 Artif. Intell. 325, Article ID 104017, 20 p. (2023). MSC: 91A12 68Q27 91B68 PDFBibTeX XMLCite \textit{R. Ganian} et al., Artif. Intell. 325, Article ID 104017, 20 p. (2023; Zbl 07777844) Full Text: DOI arXiv
Schidler, André; Szeider, Stefan Computing optimal hypertree decompositions with SAT. (English) Zbl 07777842 Artif. Intell. 325, Article ID 104015, 18 p. (2023). MSC: 68R10 05C65 68T20 90C35 PDFBibTeX XMLCite \textit{A. Schidler} and \textit{S. Szeider}, Artif. Intell. 325, Article ID 104015, 18 p. (2023; Zbl 07777842) Full Text: DOI
Rodler, Patrick Sequential model-based diagnosis by systematic search. (English) Zbl 07745374 Artif. Intell. 323, Article ID 103988, 52 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{P. Rodler}, Artif. Intell. 323, Article ID 103988, 52 p. (2023; Zbl 07745374) Full Text: DOI
Bandyapadhyay, Sayan; Fomin, Fedor V.; Golovach, Petr A.; Lochet, William; Purohit, Nidhi; Simonov, Kirill How to find a good explanation for clustering? (English) Zbl 07732223 Artif. Intell. 322, Article ID 103948, 20 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{S. Bandyapadhyay} et al., Artif. Intell. 322, Article ID 103948, 20 p. (2023; Zbl 07732223) Full Text: DOI arXiv
Dabrowski, Konrad K.; Jonsson, Peter; Ordyniak, Sebastian; Osipov, George Solving infinite-domain CSPs using the patchwork property. (English) Zbl 07698058 Artif. Intell. 317, Article ID 103880, 20 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{K. K. Dabrowski} et al., Artif. Intell. 317, Article ID 103880, 20 p. (2023; Zbl 07698058) Full Text: DOI arXiv
Eiben, Eduard; Ganian, Robert; Hamm, Thekla; Ordyniak, Sebastian Parameterized complexity of envy-free resource allocation in social networks. (English) Zbl 07638300 Artif. Intell. 315, Article ID 103826, 20 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{E. Eiben} et al., Artif. Intell. 315, Article ID 103826, 20 p. (2023; Zbl 07638300) Full Text: DOI
Nguyen, Trung Thanh; Rothe, Jörg Fair and efficient allocation with few agent types, few item types, or small value levels. (English) Zbl 07638292 Artif. Intell. 314, Article ID 103820, 27 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{T. T. Nguyen} and \textit{J. Rothe}, Artif. Intell. 314, Article ID 103820, 27 p. (2023; Zbl 07638292) Full Text: DOI
Fichte, Johannes K.; Hecher, Markus; Morak, Michael; Thier, Patrick; Woltran, Stefan Solving projected model counting by utilizing treewidth and its limits. (English) Zbl 07638288 Artif. Intell. 314, Article ID 103810, 29 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{J. K. Fichte} et al., Artif. Intell. 314, Article ID 103810, 29 p. (2023; Zbl 07638288) Full Text: DOI
Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf Envy-free allocations respecting social networks. (English) Zbl 07505974 Artif. Intell. 305, Article ID 103664, 30 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{R. Bredereck} et al., Artif. Intell. 305, Article ID 103664, 30 p. (2022; Zbl 07505974) Full Text: DOI arXiv
Hecher, Markus Treewidth-aware reductions of normal ASP to SAT - is normal ASP Harder than SAT after all? (English) Zbl 07482903 Artif. Intell. 304, Article ID 103651, 24 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Hecher}, Artif. Intell. 304, Article ID 103651, 24 p. (2022; Zbl 07482903) Full Text: DOI
Baste, Julien; Fellows, Michael R.; Jaffke, Lars; Masařík, Tomáš; de Oliveira Oliveira, Mateus; Philip, Geevarghese; Rosamond, Frances A. Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory. (English) Zbl 07482897 Artif. Intell. 303, Article ID 103644, 15 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{J. Baste} et al., Artif. Intell. 303, Article ID 103644, 15 p. (2022; Zbl 07482897) Full Text: DOI arXiv
Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut Margin of victory for tournament solutions. (English) Zbl 1481.91074 Artif. Intell. 302, Article ID 103600, 40 p. (2022). MSC: 91B14 91A10 91A80 PDFBibTeX XMLCite \textit{M. Brill} et al., Artif. Intell. 302, Article ID 103600, 40 p. (2022; Zbl 1481.91074) Full Text: DOI arXiv
Dvořák, Pavel; Eiben, Eduard; Ganian, Robert; Knop, Dušan; Ordyniak, Sebastian The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints. (English) Zbl 1520.90171 Artif. Intell. 300, Article ID 103561, 21 p. (2021). MSC: 90C10 68Q25 68Q27 68W25 PDFBibTeX XMLCite \textit{P. Dvořák} et al., Artif. Intell. 300, Article ID 103561, 21 p. (2021; Zbl 1520.90171) Full Text: DOI
Faliszewski, Piotr; Manurangsi, Pasin; Sornat, Krzysztof Approximation and hardness of shift-bribery. (English) Zbl 1519.91098 Artif. Intell. 298, Article ID 103520, 26 p. (2021). MSC: 91B12 68Q17 68W25 PDFBibTeX XMLCite \textit{P. Faliszewski} et al., Artif. Intell. 298, Article ID 103520, 26 p. (2021; Zbl 1519.91098) Full Text: DOI arXiv
Neveling, Marc; Rothe, Jörg Control complexity in Borda elections: solving all open cases of offline control and some cases of online control. (English) Zbl 1521.91091 Artif. Intell. 298, Article ID 103508, 30 p. (2021). MSC: 91B12 91B14 68Q17 PDFBibTeX XMLCite \textit{M. Neveling} and \textit{J. Rothe}, Artif. Intell. 298, Article ID 103508, 30 p. (2021; Zbl 1521.91091) Full Text: DOI
Ganian, Robert; Szeider, Stefan New width parameters for SAT and #SAT. (English) Zbl 1519.68168 Artif. Intell. 295, Article ID 103460, 18 p. (2021). MSC: 68R07 68Q27 PDFBibTeX XMLCite \textit{R. Ganian} and \textit{S. Szeider}, Artif. Intell. 295, Article ID 103460, 18 p. (2021; Zbl 1519.68168) Full Text: DOI
Bredereck, Robert; Faliszewski, Piotr; Kaczmarczyk, Andrzej; Niedermeier, Rolf; Skowron, Piotr; Talmon, Nimrod Robustness among multiwinner voting rules. (English) Zbl 1507.91073 Artif. Intell. 290, Article ID 103403, 30 p. (2021). MSC: 91B14 68Q17 PDFBibTeX XMLCite \textit{R. Bredereck} et al., Artif. Intell. 290, Article ID 103403, 30 p. (2021; Zbl 1507.91073) Full Text: DOI arXiv
Dvořák, Wolfgang; Woltran, Stefan Complexity of abstract argumentation under a claim-centric view. (English) Zbl 1451.68261 Artif. Intell. 285, Article ID 103290, 21 p. (2020). MSC: 68T27 68Q25 68Q27 PDFBibTeX XMLCite \textit{W. Dvořák} and \textit{S. Woltran}, Artif. Intell. 285, Article ID 103290, 21 p. (2020; Zbl 1451.68261) Full Text: DOI
Kronegger, Martin; Ordyniak, Sebastian; Pfandler, Andreas Backdoors to planning. (English) Zbl 1478.68323 Artif. Intell. 269, 49-75 (2019). MSC: 68T20 68Q27 68W40 PDFBibTeX XMLCite \textit{M. Kronegger} et al., Artif. Intell. 269, 49--75 (2019; Zbl 1478.68323) Full Text: DOI
Lang, Jérôme; Skowron, Piotr Multi-attribute proportional representation. (English) Zbl 1473.91008 Artif. Intell. 263, 74-106 (2018). MSC: 91B32 68Q25 68W25 PDFBibTeX XMLCite \textit{J. Lang} and \textit{P. Skowron}, Artif. Intell. 263, 74--106 (2018; Zbl 1473.91008) Full Text: DOI arXiv Link
Sless, Liat; Hazon, Noam; Kraus, Sarit; Wooldridge, Michael Forming \(k\) coalitions and facilitating relationships in social networks. (English) Zbl 1451.91155 Artif. Intell. 259, 217-245 (2018). MSC: 91D30 91A12 91A80 PDFBibTeX XMLCite \textit{L. Sless} et al., Artif. Intell. 259, 217--245 (2018; Zbl 1451.91155) Full Text: DOI
Yin, Yue; Vorobeychik, Yevgeniy; An, Bo; Hazon, Noam Optimal defense against election control by deleting voter groups. (English) Zbl 1451.91054 Artif. Intell. 259, 32-51 (2018). MSC: 91B12 90C11 90C05 91A80 PDFBibTeX XMLCite \textit{Y. Yin} et al., Artif. Intell. 259, 32--51 (2018; Zbl 1451.91054) Full Text: DOI
Ganian, Robert; Ordyniak, Sebastian The complexity landscape of decompositional parameters for ILP. (English) Zbl 1451.90099 Artif. Intell. 257, 61-71 (2018). MSC: 90C10 68Q17 68Q25 90C60 PDFBibTeX XMLCite \textit{R. Ganian} and \textit{S. Ordyniak}, Artif. Intell. 257, 61--71 (2018; Zbl 1451.90099) Full Text: DOI arXiv Link
Caragiannis, Ioannis; Chatzigeorgiou, Xenophon; Kanellopoulos, Panagiotis; Krimpas, George A.; Protopapas, Nikos; Voudouris, Alexandros A. Efficiency and complexity of price competition among single-product vendors. (English) Zbl 1420.91082 Artif. Intell. 248, 9-25 (2017). MSC: 91B24 68Q25 PDFBibTeX XMLCite \textit{I. Caragiannis} et al., Artif. Intell. 248, 9--25 (2017; Zbl 1420.91082) Full Text: DOI arXiv Link
Jonsson, Peter; Lagerkvist, Victor An initial study of time complexity in infinite-domain constraint satisfaction. (English) Zbl 1402.68162 Artif. Intell. 245, 115-133 (2017). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{P. Jonsson} and \textit{V. Lagerkvist}, Artif. Intell. 245, 115--133 (2017; Zbl 1402.68162) Full Text: DOI Link
Skowron, Piotr; Faliszewski, Piotr; Lang, Jérôme Finding a collective set of items: from proportional multirepresentation to group recommendation. (English) Zbl 1406.91135 Artif. Intell. 241, 191-216 (2016). MSC: 91B16 91B10 91B12 90C10 PDFBibTeX XMLCite \textit{P. Skowron} et al., Artif. Intell. 241, 191--216 (2016; Zbl 1406.91135) Full Text: DOI arXiv
van Bevern, René; Komusiewicz, Christian; Niedermeier, Rolf; Sorge, Manuel; Walsh, Toby \(\mathrm{H}\)-index manipulation by merging articles: models, theory, and experiments. (English) Zbl 1386.68076 Artif. Intell. 240, 19-35 (2016). MSC: 68Q25 01A90 68Q17 68R10 91D30 PDFBibTeX XMLCite \textit{R. van Bevern} et al., Artif. Intell. 240, 19--35 (2016; Zbl 1386.68076) Full Text: DOI arXiv
Fichte, Johannes Klaus; Szeider, Stefan Backdoors to tractable answer set programming. (English) Zbl 1328.68040 Artif. Intell. 220, 64-103 (2015). MSC: 68N17 68Q25 68T20 PDFBibTeX XMLCite \textit{J. K. Fichte} and \textit{S. Szeider}, Artif. Intell. 220, 64--103 (2015; Zbl 1328.68040) Full Text: DOI
Kwisthout, Johan Most frugal explanations in Bayesian networks. (English) Zbl 1319.68205 Artif. Intell. 218, 56-73 (2015). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{J. Kwisthout}, Artif. Intell. 218, 56--73 (2015; Zbl 1319.68205) Full Text: DOI
Simančík, František; Motik, Boris; Horrocks, Ian Consequence-based and fixed-parameter tractable reasoning in description logics. (English) Zbl 1334.68211 Artif. Intell. 209, 29-77 (2014). MSC: 68T27 68Q25 68T30 PDFBibTeX XMLCite \textit{F. Simančík} et al., Artif. Intell. 209, 29--77 (2014; Zbl 1334.68211) Full Text: DOI
Gaspers, Serge; Szeider, Stefan Guarantees and limits of preprocessing in constraint satisfaction and reasoning. (English) Zbl 1405.68139 Artif. Intell. 216, 1-19 (2014). MSC: 68Q25 68R05 68T20 PDFBibTeX XMLCite \textit{S. Gaspers} and \textit{S. Szeider}, Artif. Intell. 216, 1--19 (2014; Zbl 1405.68139) Full Text: DOI arXiv
Calì, Andrea; Gottlob, Georg; Pieris, Andreas Towards more expressive ontology languages: the query answering problem. (English) Zbl 1270.68293 Artif. Intell. 193, 87-128 (2012). MSC: 68T30 68P15 68T27 PDFBibTeX XMLCite \textit{A. Calì} et al., Artif. Intell. 193, 87--128 (2012; Zbl 1270.68293) Full Text: DOI Link
Hnich, Brahim; Rossi, Roberto; Tarim, S. Armagan; Prestwich, Steven Filtering algorithms for global chance constraints. (English) Zbl 1251.68203 Artif. Intell. 189, 69-94 (2012). MSC: 68T20 68T37 90C15 PDFBibTeX XMLCite \textit{B. Hnich} et al., Artif. Intell. 189, 69--94 (2012; Zbl 1251.68203) Full Text: DOI
Dvořák, Wolfgang; Ordyniak, Sebastian; Szeider, Stefan Augmenting tractable fragments of abstract argumentation. (English) Zbl 1251.68225 Artif. Intell. 186, 157-173 (2012). MSC: 68T27 68Q25 PDFBibTeX XMLCite \textit{W. Dvořák} et al., Artif. Intell. 186, 157--173 (2012; Zbl 1251.68225) Full Text: DOI
Cai, Shaowei; Su, Kaile; Sattar, Abdul Local search with edge weighting and configuration checking heuristics for minimum vertex cover. (English) Zbl 1225.68242 Artif. Intell. 175, No. 9-10, 1672-1696 (2011). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{S. Cai} et al., Artif. Intell. 175, No. 9--10, 1672--1696 (2011; Zbl 1225.68242) Full Text: DOI Link
Greco, Gianluigi; Scarcello, Francesco On the power of structural decompositions of graph-based representations of constraint problems. (English) Zbl 1207.68355 Artif. Intell. 174, No. 5-6, 382-409 (2010). MSC: 68T20 68R10 PDFBibTeX XMLCite \textit{G. Greco} and \textit{F. Scarcello}, Artif. Intell. 174, No. 5--6, 382--409 (2010; Zbl 1207.68355) Full Text: DOI
Gottlob, Georg; Pichler, Reinhard; Wei, Fang Bounded treewidth as a key to tractability of knowledge representation and reasoning. (English) Zbl 1185.68690 Artif. Intell. 174, No. 1, 105-132 (2010). MSC: 68T30 68N17 68T27 PDFBibTeX XMLCite \textit{G. Gottlob} et al., Artif. Intell. 174, No. 1, 105--132 (2010; Zbl 1185.68690) Full Text: DOI
Gao, Yong Data reductions, fixed parameter tractability, and random weighted \(d\)-CNF satisfiability. (English) Zbl 1194.68208 Artif. Intell. 173, No. 14, 1343-1366 (2009). MSC: 68T20 68Q25 PDFBibTeX XMLCite \textit{Y. Gao}, Artif. Intell. 173, No. 14, 1343--1366 (2009; Zbl 1194.68208) Full Text: DOI
Dunne, Paul E. Computational properties of argument systems satisfying graph-theoretic constraints. (English) Zbl 1168.68565 Artif. Intell. 171, No. 10-15, 701-729 (2007). MSC: 68T27 05C90 68Q17 68Q25 PDFBibTeX XMLCite \textit{P. E. Dunne}, Artif. Intell. 171, No. 10--15, 701--729 (2007; Zbl 1168.68565) Full Text: DOI
Bettini, Claudio; Wang, X. Sean; Jajodia, Sushil Solving multi-granularity temporal constraint networks. (English) Zbl 0999.68204 Artif. Intell. 140, No. 1-2, 107-152 (2002). MSC: 68T20 68T30 PDFBibTeX XMLCite \textit{C. Bettini} et al., Artif. Intell. 140, No. 1--2, 107--152 (2002; Zbl 0999.68204) Full Text: DOI
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha Fixed-parameter complexity in AI and nonmonotonic reasoning. (English) Zbl 0995.68118 Artif. Intell. 138, No. 1-2, 55-86 (2002). MSC: 68T37 PDFBibTeX XMLCite \textit{G. Gottlob} et al., Artif. Intell. 138, No. 1--2, 55--86 (2002; Zbl 0995.68118) Full Text: DOI
Eiter, T.; Lukasiewicz, T. Default reasoning from conditional knowledge bases: Complexity and tractable cases. (English) Zbl 0952.68139 Artif. Intell. 124, No. 2, 169-241 (2000). MSC: 68T37 68T30 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{T. Lukasiewicz}, Artif. Intell. 124, No. 2, 169--241 (2000; Zbl 0952.68139) Full Text: DOI