Solving the resolution-free SAT problem by submodel propagation in linear time
scientific article; zbMATH DE number 2168187
scientific article