Sciweavers

377 search results - page 7 / 76
» aaai 2006
Sort
View
AAAI
2006
15 years 7 months ago
New Inference Rules for Efficient Max-SAT Solving
Federico Heras, Javier Larrosa
AAAI
2006
15 years 7 months ago
Regret-based Incremental Partial Revelation Mechanisms
Nathanael Hyafil, Craig Boutilier