Direct finite first-order model generation with negative constraint propagation heuristic
Authors:
Olga Shumsky;Ralph W. Wilkerson;William W. McCune;Fikret Ercal
Affiliations:
Department of Electrical and Computer Engineering, Northwestern University, Evanston, Illinois;Department of Computer Science, University of Missouri-Rolla, Rolla, Missouri;Mathematics and Computer Science Division, Argonne National Laboratory, 9700 South Cass Avenue, Argonne, Illinois;Department of Computer Science, University of Missouri-Rolla, Rolla, Missouri
Venue:
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing