Dynamic symmetry-breaking for Boolean satisfiability
scientific article; zbMATH DE number 5721643