Generating logical expressions from positive and negative examples via a branch-and-bound approach (1994)

by E Triantaphyllou, L Allen, L Soyster, S R T Kumara
Venue:Computers and Operations Research