Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT

From MaRDI portal
Publication:5002768