1. Shodhganga@INFLIBNET
  2. Homi Bhabha National Institute
  3. Department of Mathematical Sciences
Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/491156
Title: A study of QBF Merge Resolution and MaxSAT Resolution
Researcher: Gaurav Sood
Guide(s): Meena Mahajan
Keywords: computational complexity
lower bounds
Mathematics
MaxSAT
Physical Sciences
proof complexity
QBF
Resolution
theoretical computer science
University: Homi Bhabha National Institute
Completed Date: 2023
Abstract: newline
Pagination: 
URI: http://hdl.handle.net/10603/491156
Appears in Departments:Department of Mathematical Sciences

Files in This Item:
File Description SizeFormat 
01_title.pdfAttached File155.48 kBAdobe PDFView/Open
02_prelim_pages.pdf1.21 MBAdobe PDFView/Open
03_content.pdf155.68 kBAdobe PDFView/Open
04_abstract.pdf152.49 kBAdobe PDFView/Open
05_chapter_1.pdf388.68 kBAdobe PDFView/Open
06_chapter_2.pdf376.37 kBAdobe PDFView/Open
07_chapter_3.pdf506.88 kBAdobe PDFView/Open
08_chapter_4.pdf459.64 kBAdobe PDFView/Open
09_chapter_5.pdf388.39 kBAdobe PDFView/Open
10_annexures.pdf137.28 kBAdobe PDFView/Open
11_chapter_6.pdf445.12 kBAdobe PDFView/Open
12_chapter_7.pdf505.09 kBAdobe PDFView/Open
13_chapter_8.pdf90.82 kBAdobe PDFView/Open
18_certificate.pdf92.49 kBAdobe PDFView/Open
19_list_of_graph_and_table.pdf300.46 kBAdobe PDFView/Open
20_other_info.pdf1.21 MBAdobe PDFView/Open
21_highlights.pdf80.73 kBAdobe PDFView/Open
80_recommendation.pdf155.48 kBAdobe PDFView/Open
Show full item record


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: