Open access

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

Written By

Ole-Christoffer Granmo and Noureddine Bouhmala

Published: 01 February 2010

DOI: 10.5772/8610

From the Edited Volume

Application of Machine Learning

Edited by Yagang Zhang

Chapter metrics overview

1,998 Chapter Downloads

View Full Metrics

Written By

Ole-Christoffer Granmo and Noureddine Bouhmala

Published: 01 February 2010