Application of substructural local search in the MAXSAT problem

Dissertação de mest., Engenharia Informática, Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2011

Bibliographic Details
Main Author: Gonzalez, Pedro Frazão (author)
Format: masterThesis
Language:eng
Published: 2013
Subjects:
Online Access:http://hdl.handle.net/10400.1/2746
Country:Portugal
Oai:oai:sapientia.ualg.pt:10400.1/2746
Description
Summary:Dissertação de mest., Engenharia Informática, Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2011