Unsatisfiability proofs for distributed clause-sharing SAT solvers
scientific article; zbMATH DE number 7777313
scientific article