Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions
Work
Year: 1982
Type: article
Abstract: article Free Access Share on Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions Author: Steve Winker Applied Mathematics Di... more
Source: Journal of the ACM
Author S. Winker
Institution Argonne National Laboratory
Cites: 4
Cited by: 60
Related to: 10
FWCI: 3.743
Citation percentile (by year/subfield): 93.36
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze