A Study of QBF Merge Resolution and MaxSAT Resolution

By:

Material type: Text

TextLanguage: English Publication details: Chennai The Institute of Mathematical Sciences 2023Description: 136pSubject(s):

Online resources:

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)

Holdings
Home library	Collection	Call number	Materials specified	URL	Status	Date due	Barcode
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.