A study of QBF Merge Resolution and MaxSAT Resolution [HBNI Th221]
Login
DSpace Home
→
IMSc Theses/ Dissertations
→
IMSc Theses/ Dissertations
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
A study of QBF Merge Resolution and MaxSAT Resolution [HBNI Th221]
Gaurav Sood
Advisor:
Meena Mahajan
Degree:
Ph.D
Main Subject:
Computer Science
Institution:
HBNI
Year:
2023-03-07
Pages:
136p
URI:
https://dspace.imsc.res.in/xmlui/handle/123456789/610
Date:
2023
Abstract:
In this thesis, we study the proof complexity of two proof systems: (i) Merge Resolution proof system for Quantified Boolean Formulas (QBFs), and (ii) MaxSAT Resolution proof system for certifying unsatisfiability
Show full item record
Files in this item
Name:
HBNI Th-221.pdf
Size:
1002.Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
IMSc Theses/ Dissertations
IMSc Theses/ Dissertations
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
Authors
Titles
Main Subject
Submitted Year
HBNI BOS
This Collection
Authors
Titles
Main Subject
Submitted Year
HBNI BOS
My Account
Login
Register