Strong ETH holds for regular resolution
scientific article; zbMATH DE number 6326983