Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver.

Roberto Battiti, Paolo Campigotto

Browse the full ECAI paper archive.