Search space structures of local search algorithms for SAT

• Author / Creator

  Li, Guang

• Subjects / Keywords

  • Computer algorithms.
  • Computer software. Development.
  • Electronic data processing. Evaluation.

• Graduation date

  2004

• Type of Item

  Thesis

• Degree

  Master of Science

• DOI

  https://doi.org/10.7939/r3-gxtw-xx71

• License

  This thesis is made available by the University of Alberta Libraries with permission of the copyright owner solely for the purpose of private, scholarly or scientific research. This thesis, or any portion thereof, may not otherwise be copied or reproduced without the written consent of the copyright owner, except to the extent permitted by Canadian copyright law.