Extended clause learning
scientific article; zbMATH DE number 5843088