De Giacomo, Giuseppe; Patrizi, Fabio; Sardiña, Sebastian Automatic behavior composition synthesis. (English) Zbl 1270.68329 Artif. Intell. 196, 106-142 (2013). MSC: 68T42 68T30 68T40 PDF BibTeX XML Cite \textit{G. De Giacomo} et al., Artif. Intell. 196, 106--142 (2013; Zbl 1270.68329) Full Text: DOI Link
Ansótegui, Carlos; Bonet, Maria Luisa; Levy, Jordi SAT-based MaxSAT algorithms. (English) Zbl 1270.68265 Artif. Intell. 196, 77-105 (2013). MSC: 68T20 68Q25 PDF BibTeX XML Cite \textit{C. Ansótegui} et al., Artif. Intell. 196, 77--105 (2013; Zbl 1270.68265) Full Text: DOI Link
Lelis, Levi H. S.; Zilles, Sandra; Holte, Robert C. Predicting the size of IDA\(^*\)’s search tree. (English) Zbl 1270.68274 Artif. Intell. 196, 53-76 (2013). MSC: 68T20 PDF BibTeX XML Cite \textit{L. H. S. Lelis} et al., Artif. Intell. 196, 53--76 (2013; Zbl 1270.68274) Full Text: DOI Link
Hazon, Noam; Aumann, Yonatan; Kraus, Sarit; Sarne, David Physical search problems with probabilistic knowledge. (English) Zbl 1270.68269 Artif. Intell. 196, 26-52 (2013). MSC: 68T20 PDF BibTeX XML Cite \textit{N. Hazon} et al., Artif. Intell. 196, 26--52 (2013; Zbl 1270.68269) Full Text: DOI Link
Fionda, Valeria; Greco, Gianluigi The complexity of mixed multi-unit combinatorial auctions: tractability under structural and qualitative restrictions. (English) Zbl 1270.91026 Artif. Intell. 196, 1-25 (2013). MSC: 91B26 68Q17 68Q25 PDF BibTeX XML Cite \textit{V. Fionda} and \textit{G. Greco}, Artif. Intell. 196, 1--25 (2013; Zbl 1270.91026) Full Text: DOI Link