A Study of QBF Merge Resolution and MaxSAT Resolution
Material type: TextLanguage: English Publication details: Chennai The Institute of Mathematical Sciences 2023Description: 136pSubject(s): Computer Science | QBF Merge MaxSAT Resolution | Computer ScienceOnline resources: Click here to access online Dissertation note: Ph.D HBNI 2023Current 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 |
Ph.D HBNI 2023
There are no comments on this title.