A study of QBF Merge Resolution and MaxSAT Resolution

Thumbnail Image

Files

01_title.pdf (155.48 KB)
 02_prelim_pages.pdf (1.18 MB)
 03_content.pdf (155.68 KB)
 04_abstract.pdf (152.49 KB)
 05_chapter_1.pdf (388.68 KB)

Date

item.page.authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

newline

Description

Keywords

Citation

URI

http://hdl.handle.net/10603/491156

Collections

Department of Mathematical Sciences

item.page.endorsement

item.page.review

item.page.supplemented

item.page.referenced