Sciweavers

JAIR
2007
75views more  JAIR 2007»
13 years 4 months ago
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively
Haixia Jia, Cristopher Moore, Doug Strain
JAIR
2007
141views more  JAIR 2007»
13 years 4 months ago
Bin Completion Algorithms for Multicontainer Packing, Knapsack, and Covering Problems
Many combinatorial optimization problems such as the bin packing and multiple knapsack problems involve assigning a set of discrete objects to multiple containers. These problems ...
Alex S. Fukunaga, Richard E. Korf
JAIR
2007
104views more  JAIR 2007»
13 years 4 months ago
Abstract Reasoning for Planning and Coordination
Bradley J. Clement, Edmund H. Durfee, Anthony C. B...