A Study of QBF Merge Resolution and MaxSAT Resolution
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/itemtypeimg/bridge/reference.png)
Current library | Home library | Collection | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | IMSc Thesis | HBNI Th221 (Browse shelf (Opens below)) | Link to resource | Available | 76680 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
Ph.D HBNI 2023
There are no comments on this title.