Adaptation in a CBR-Based Solver Portfolio for the Satisfiability Problem.

Barry Hurley, Barry O'Sullivan

Browse the full ICCBR paper archive.