Incomplete dynamic backtracking for linear pseudo-Boolean problems

From MaRDI portal
Publication:1876529