Open access

Using Learning Automata to Enhance Local-Search Based SAT Solvers with Learning Capability

Written By

Ole-Christoffer Granmo and Noureddine Bouhmala

Published: February 1st, 2010

DOI: 10.5772/8610

Chapter metrics overview

1,848 Chapter Downloads

View Full Metrics

Written By

Ole-Christoffer Granmo and Noureddine Bouhmala

Published: February 1st, 2010