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

Sixue Liu

Browse the full ICALP paper archive.