Improved algorithms for optimal length resolution refutation in difference constraint systems
scientific article; zbMATH DE number 6148363