A formal framework for evaluating heuristic programs Lenore CowenJoan FeigenbaumSampath Kannan OriginalPaper Pages: 193 - 206
Nonmonotonic reasoning: from complexity to algorithms C. CayrolM.‐C. Lagasquie‐SchiexT. Schiex OriginalPaper Pages: 207 - 236
Using computational learning strategies as a tool for combinatorial optimization Andreas BirkendorfHans Ulrich Simon OriginalPaper Pages: 237 - 257
Automating the synthesis of decision procedures in a constructive metatheory Alessandro ArmandoJason GallagherAlan Bundy OriginalPaper Pages: 259 - 279
Tractable plan existence does not imply tractable plan generation Peter JonssonChrister Bäckström OriginalPaper Pages: 281 - 296
Boosting complete techniques thanks to local search methods Bertrand MazureLakhdar SaïsÉric Grégoire OriginalPaper Pages: 319 - 331