Resolution and linear CNF formulas: improved \((n,3)\)-\textsc{MaxSAT} algorithms

From MaRDI portal
Publication:2424882