New methods for 3-SAT decision and worst-case analysis
scientific article; zbMATH DE number 1387335
scientific article