Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola Designing menus of contracts efficiently: the power of randomization. (English) Zbl 07702929 Artif. Intell. 318, Article ID 103881, 28 p. (2023). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Castiglioni} et al., Artif. Intell. 318, Article ID 103881, 28 p. (2023; Zbl 07702929) Full Text: DOI arXiv
Pikies, Tytus; Turowski, Krzysztof; Kubale, Marek Scheduling with complete multipartite incompatibility graph on parallel machines: complexity and algorithms. (English) Zbl 1493.90067 Artif. Intell. 309, Article ID 103711, 27 p. (2022). MSC: 90B35 68Q17 68W25 90C05 PDFBibTeX XMLCite \textit{T. Pikies} et al., Artif. Intell. 309, Article ID 103711, 27 p. (2022; Zbl 1493.90067) Full Text: DOI
Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola Bayesian agency: linear versus tractable contracts. (English) Zbl 07505987 Artif. Intell. 307, Article ID 103684, 17 p. (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{M. Castiglioni} et al., Artif. Intell. 307, Article ID 103684, 17 p. (2022; Zbl 07505987) Full Text: DOI arXiv
Ouali, Abdelkader; Allouche, David; de Givry, Simon; Loudni, Samir; Lebbah, Yahia; Loukil, Lakhdar; Boizumault, Patrice Variable neighborhood search for graphical model energy minimization. (English) Zbl 1478.68329 Artif. Intell. 278, Article ID 103194, 22 p. (2020). MSC: 68T20 62H22 92D20 PDFBibTeX XMLCite \textit{A. Ouali} et al., Artif. Intell. 278, Article ID 103194, 22 p. (2020; Zbl 1478.68329) Full Text: DOI
Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten SAT race 2015. (English) Zbl 1392.68381 Artif. Intell. 241, 45-65 (2016). MSC: 68T20 PDFBibTeX XMLCite \textit{T. Balyo} et al., Artif. Intell. 241, 45--65 (2016; Zbl 1392.68381) Full Text: DOI
Rahwan, Talal; Michalak, Tomasz P.; Wooldridge, Michael; Jennings, Nicholas R. Coalition structure generation: a survey. (English) Zbl 1344.68249 Artif. Intell. 229, 139-174 (2015). MSC: 68T42 91A12 91A43 PDFBibTeX XMLCite \textit{T. Rahwan} et al., Artif. Intell. 229, 139--174 (2015; Zbl 1344.68249) Full Text: DOI
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten Conflict-driven answer set solving: from theory to practice. (English) Zbl 1251.68060 Artif. Intell. 187-188, 52-89 (2012). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{M. Gebser} et al., Artif. Intell. 187--188, 52--89 (2012; Zbl 1251.68060) Full Text: DOI
Conitzer, Vincent; Sandholm, Tuomas Expressive markets for donating to charities. (English) Zbl 1231.91112 Artif. Intell. 175, No. 7-8, 1251-1271 (2011). MSC: 91B26 PDFBibTeX XMLCite \textit{V. Conitzer} and \textit{T. Sandholm}, Artif. Intell. 175, No. 7--8, 1251--1271 (2011; Zbl 1231.91112) 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
Pipatsrisawat, Knot; Darwiche, Adnan On the power of clause-learning SAT solvers as resolution engines. (English) Zbl 1216.68235 Artif. Intell. 175, No. 2, 512-525 (2011). MSC: 68T15 68T05 PDFBibTeX XMLCite \textit{K. Pipatsrisawat} and \textit{A. Darwiche}, Artif. Intell. 175, No. 2, 512--525 (2011; Zbl 1216.68235) Full Text: DOI
Gomes, C. P.; Selman, B. Algorithm portfolios. (English) Zbl 0969.68047 Artif. Intell. 126, No. 1-2, 43-62 (2001). MSC: 68P10 PDFBibTeX XMLCite \textit{C. P. Gomes} and \textit{B. Selman}, Artif. Intell. 126, No. 1--2, 43--62 (2001; Zbl 0969.68047) Full Text: DOI