![](/img/cover-not-exists.png)
[ACM Press the 1997 ACM symposium - San Jose, California, United States (1997..-..)] Proceedings of the 1997 ACM symposium on Applied computing - SAC '97 - Direct finite first-order model generation with negative constraint propagation heuristic
Shumsky, Olga, Wilkerson, Ralph W., McCune, William W., Ercal, FikretYear:
1997
Language:
english
DOI:
10.1145/331697.331704
File:
PDF, 457 KB
english, 1997