![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Artificial Intelligence, Volume 196
Volume 196, March 2013
- Valeria Fionda, Gianluigi Greco
:
The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions. 1-25 - Noam Hazon
, Yonatan Aumann, Sarit Kraus, David Sarne:
Physical search problems with probabilistic knowledge. 26-52 - Levi H. S. Lelis, Sandra Zilles, Robert C. Holte:
Predicting the size of IDA*'s search tree. 53-76 - Carlos Ansótegui
, Maria Luisa Bonet
, Jordi Levy
:
SAT-based MaxSAT algorithms. 77-105 - Giuseppe De Giacomo, Fabio Patrizi
, Sebastian Sardiña
:
Automatic behavior composition synthesis. 106-142
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.