Sciweavers

8651 search results - page 83 / 1731
» Intelligent agents as innovations
Sort
View
AAAI
2004
15 years 7 months ago
Continuous Time in a SAT-Based Planner
Ji-Ae Shin, Ernest Davis
AAAI
2006
15 years 7 months ago
New Inference Rules for Efficient Max-SAT Solving
Federico Heras, Javier Larrosa