A Comparative Study of MAX-SAT Solving Techniques with Soft and Hard Rules

Ansari, Farzaneh

Local TagsRelease HistoryDetailsSummary

A Comparative Study of MAX-SAT Solving Techniques with Soft and Hard Rules

Ansari, F. (2013). A Comparative Study of MAX-SAT Solving Techniques with Soft and Hard Rules. Master Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-5C6B-5 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-5C6C-3

Genre: Thesis

Latex : A Comparative Study of {MAX}--{SAT} Solving Techniques with Soft and Hard Rules

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ansari, Farzaneh¹, Author

Affiliations:
1Databases and Information Systems, MPI for Informatics, Max Planck Society, ou_24018

Content

show

Details

show

hide

Language(s): eng - English

Dates: Accepted: 2013-02-15Date issued: 2013

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: AnsariMastersThesis2013

Degree: Master

Event

show

Legal Case

show

Project information

show

Source

show