A Probabilistic Study of 3-SATISFIABILITY

Discrete optimization problems are defined by a finite set of solutions together with an objective function value assigned to each solution. Local search algorithms provide useful tools for addressing a wide variety of intractable discrete optimization problems. Each such algorithm offers a distin...

Full description

Bibliographic Details
Main Author: Aytemiz, Tevfik
Other Authors: Industrial and Systems Engineering
Format: Others
Published: Virginia Tech 2014
Subjects:
Online Access:http://hdl.handle.net/10919/28202
http://scholar.lib.vt.edu/theses/available/etd-07042001-165926/