Sciweavers

JAIR
2007
75views more  JAIR 2007»
13 years 11 months ago
Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively
Haixia Jia, Cristopher Moore, Doug Strain
JAIR
2007
141views more  JAIR 2007»
13 years 11 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 11 months ago
Abstract Reasoning for Planning and Coordination
Bradley J. Clement, Edmund H. Durfee, Anthony C. B...