Application of Machine Learning,  ISBN: 978-953-307-035-3

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

By Ole-Christoffer Granmo and Noureddine Bouhmala

DOI: 10.5772/8610