Sciweavers

9523 search results - page 92 / 1905
» Intelligent Interface Agents
Sort
View
AAAI
2004
13 years 11 months ago
The Backdoor Key: A Path to Understanding Problem Hardness
Yongshao Ruan, Henry A. Kautz, Eric Horvitz
AAAI
2004
13 years 11 months ago
Continuous Time in a SAT-Based Planner
Ji-Ae Shin, Ernest Davis
AAAI
2006
13 years 11 months ago
New Inference Rules for Efficient Max-SAT Solving
Federico Heras, Javier Larrosa