Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach
scientific article; zbMATH DE number 617063