16091 search results - page 195 / 3219 » Solving |
AAAI
2000
15 years 5 months ago
2000
134
click to vote
AAAI
2000
15 years 5 months ago
2000
One challenge for research in constraint-based scheduling has been to produce scalable solution procedures under fairly general representational assumptions. Quite often, the comp...
115
Voted
AAAI
2000
15 years 5 months ago
2000
We consider the compilation of different reasoning tasks into the evaluation problem of quantified boolean formulas (QBFs) as an approach to develop prototype reasoning systems us...
121
Voted
AAAI
2000
15 years 5 months ago
2000
Combinatorial auctions (CAs) have emerged as an important model in economics and show promise as a useful tool for tackling resource allocation in AI. Unfortunately, winner determ...
AAAI
1998
15 years 5 months ago
1998
