A study of QBF Merge Resolution and MaxSAT Resolution

Simple item page
dc.contributor.guideMeena Mahajan
dc.coverage.spatial
dc.creator.researcherGaurav Sood
dc.date.accessioned2023-06-13T12:59:38Z
dc.date.available2023-06-13T12:59:38Z
dc.date.awarded2023
dc.date.completed2023
dc.date.registered2016
dc.description.abstractnewline
dc.description.note
dc.format.accompanyingmaterialDVD
dc.format.dimensions
dc.format.extent
dc.identifier.urihttp://hdl.handle.net/10603/491156
dc.languageEnglish
dc.publisher.institutionDepartment of Mathematical Sciences
dc.publisher.placeMumbai
dc.publisher.universityHomi Bhabha National Institute
dc.relation
dc.rightsuniversity
dc.source.universityUniversity
dc.subject.keywordcomputational complexity
dc.subject.keywordlower bounds
dc.subject.keywordMathematics
dc.subject.keywordMaxSAT
dc.subject.keywordPhysical Sciences
dc.subject.keywordproof complexity
dc.subject.keywordQBF
dc.subject.keywordResolution
dc.subject.keywordtheoretical computer science
dc.titleA study of QBF Merge Resolution and MaxSAT Resolution
dc.title.alternative
dc.type.degreePh.D.

Files

Original bundle

Now showing 1 - 5 of 18
Thumbnail Image
Name:
01_title.pdf
Size:
155.48 KB
Format:
Adobe Portable Document Format
Description:
Attached File
Download
Thumbnail Image
Name:
02_prelim_pages.pdf
Size:
1.18 MB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
03_content.pdf
Size:
155.68 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
04_abstract.pdf
Size:
152.49 KB
Format:
Adobe Portable Document Format
Download
Thumbnail Image
Name:
05_chapter_1.pdf
Size:
388.68 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.79 KB
Format:
Plain Text
Description:
Download

Collections

Department of Mathematical Sciences