Gaurav Sood
A Study of QBF Merge Resolution and MaxSAT Resolution - Chennai The Institute of Mathematical Sciences 2023 - 136p
Computer Science
QBF Merge MaxSAT Resolution
HBNI / Th221
A Study of QBF Merge Resolution and MaxSAT Resolution - Chennai The Institute of Mathematical Sciences 2023 - 136p
Computer Science
QBF Merge MaxSAT Resolution
HBNI / Th221