Yakov Novikov, Evguenii I. Goldberg
An efficient learning procedure for multiple implication checks
DATE, 2001.
@inproceedings{DATE-2001-NovikovG,
author = "Yakov Novikov and Evguenii I. Goldberg",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367119",
isbn = "0-7695-0993-2",
pages = "127--135",
publisher = "{ACM}",
title = "{An efficient learning procedure for multiple implication checks}",
year = 2001,
}