Misra, NeeldharaHarshil M2025-10-102026-03-272025-10-102025-01-01https://repository.iitgn.ac.in/handle/IITG2025/32911hbk.: 30 cm.en-US19310066Ph.DComputer Science and EngineeringDiverse SolutionsNon-Crossing MatchingsBoolean SatisfiabilityParameterized ComplexityAdjacency MatrixAlgebraic Branching ProgramsDiverse solutions, modifying graph eigenvalues and bounded-width ABPsPh.D. Thesesii, 84p.123456789/440