Evangelos Triantaphyllou, Allen L. Soyster, Soundar R. T. Kumara. Generating logical expressions from positive and negative examples via a branch-and-bound approach. Computers & OR, 21(2):185-197, 1994. [doi]
@article{TriantaphyllouSK94,
title = {Generating logical expressions from positive and negative examples via a branch-and-bound approach},
author = {Evangelos Triantaphyllou and Allen L. Soyster and Soundar R. T. Kumara},
year = {1994},
doi = {10.1016/0305-0548(94)90051-5},
url = {http://dx.doi.org/10.1016/0305-0548(94)90051-5},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/TriantaphyllouSK94},
cites = {0},
citedby = {0},
journal = {Computers & OR},
volume = {21},
number = {2},
pages = {185-197},
}