ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

Combinatorial optimization of boolean satisfiability problems

Samo Tuma (2013) Combinatorial optimization of boolean satisfiability problems. EngD thesis.

Download (1005Kb)


    The purpose of this thesis is to design, implement and analyse a hybrid genetic algorithm for solving the MAX-3SAT problem. The problem is a well known NP-complete decision problem. Solving this type of problems is highly motivated by its practical use in industry. The main field of 3SAT solver application ranges from integrated circuit delay optimization to FPGA routing. See section 1.9 for details on practical applications of the MAX- 3SAT solver. The idea behind this hybrid genetic algorithm, is to see just when and how much of local search can still prove beneficial to the overall solution quality. In the results section 4.4, we have shown that this algorithm performs best when the local search is applied periodically and with our best run results (presented in section 4.6) we came very close to a similar implementation described in [14]. Our best average run time on the biggest test instances was trailing behind aforementioned article by about 30 percent. The reason, why our average running time is fairly close to the aforementioned imple- mentation, lies in exploiting parallelism. We used a simple parallelization technique of local searching, which is described in section 4.2. Moreover, our solution quality - that is the number of unsatisfied clauses, was pretty much as good as the one reported in [14]. Ours was worse by only 0,6 percent. It is important to point out that we used exactly the same test instances as used in [14].

    Item Type: Thesis (EngD thesis)
    Keywords: MAX-3SAT, hybrid genetic algorithm, local search optimization, parallelization, decision problems
    Number of Pages: 41
    Language of Content: English
    Mentor / Comentors:
    Name and SurnameIDFunction
    doc. dr. Andrej Brodnik5540Mentor
    Link to COBISS: http://www.cobiss.si/scripts/cobiss?command=search&base=50070&select=(ID=9693012)
    Institution: University of Ljubljana
    Department: Faculty of Computer and Information Science
    Item ID: 1980
    Date Deposited: 13 Feb 2013 08:21
    Last Modified: 04 Mar 2013 13:20
    URI: http://eprints.fri.uni-lj.si/id/eprint/1980

    Actions (login required)

    View Item