Olga Shumsky, Ralph W. Wilkerson, William McCune, Fikret Erçal
Direct finite first-order model generation with negative constraint propagation heuristic
SAC, 1997.
@inproceedings{SAC-1997-ShumskyWME,
author = "Olga Shumsky and Ralph W. Wilkerson and William McCune and Fikret Erçal",
booktitle = "{Proceedings of the 12th Symposium on Applied Computing}",
doi = "10.1145/331697.331704",
pages = "25--29",
publisher = "{ACM}",
title = "{Direct finite first-order model generation with negative constraint propagation heuristic}",
year = 1997,
}