A Study of QBF Merge Resolution and MaxSAT Resolution

By: Gaurav Sood [author]Material type: TextTextLanguage: 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 2023
Item type: THESIS & DISSERTATION
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
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

Ph.D HBNI 2023

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha