skip to main content
10.1145/331697.331704acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article
Free Access

Direct finite first-order model generation with negative constraint propagation heuristic

Authors Info & Claims
Published:01 April 1997Publication History
First page image

References

  1. 1.F. E. Bennett and L. Zhu. Conjugate-orthogonal latin squares and related structures. In Jeffrey H. Dinitz and Douglas R. Stinson, editors, Contemporary Design Theory: A Collection of Surveys, pages 41-96. John Wiley & Sons, Inc., 1992.Google ScholarGoogle Scholar
  2. 2.Martin Davis and Hilary Putnam. A computing procedure for quantification theory. Journal of the Association for Computing Machinery, 7(3):201-215, 1960. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3.Jun Gu. Local search for satisfiablity (SAT) problem. IEEE Transactions on Systems, Man, and Cybernetics, 23(4):1108-1129, 1993.Google ScholarGoogle ScholarCross RefCross Ref
  4. 4.John McCarthy. A tough nut for proof procedures. Stanford Artificial Intelligence Project, July 1964.Google ScholarGoogle Scholar
  5. 5.William W. McCune. A Davis-Putnam program and its application to finite first-order model search: Quasigroup existence problems. Argonne National Laboratory, September 1994.Google ScholarGoogle Scholar
  6. 6.J. Slaney, M. Fujita, and M. Stickel. Automated reasoning and exhaustive search: quasigroup existence problems. Computers and Mathematics with Applications, 29(2):115-132, 1995.Google ScholarGoogle ScholarCross RefCross Ref
  7. 7.J. Stanley. F~NDEa version 3.0 notes and guide. Centre for Information Science Research, Australian National University, 1993.Google ScholarGoogle Scholar
  8. 8.Hantao Zhang and Mark E. Stickel. Implementing the Davis-Putnam algorithm by tries. University of Iowa, 1994.Google ScholarGoogle Scholar
  9. 9.Jian Zhang and Hantao Zhang. SEM: a system for enumerating models. In Fourteenth International Joint Conference on Artificial Intelligence, pages 298-303, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. 10.Jian Zhang and Hantao Zhang. SEM user guide. Department of Computer Science, University of Iowa, 1995.Google ScholarGoogle Scholar
  11. 11.Jian Zhang and Hantao Zhang. Combining local search and backtracking techniques for constraint satisfaction. Forthcoming, 1996.Google ScholarGoogle Scholar
  12. 12.Jian Zhang and Hantao Zhang. The model generator SEM (system description). Forthcoming, 1996.Google ScholarGoogle Scholar

Index Terms

  1. Direct finite first-order model generation with negative constraint propagation heuristic

                      Recommendations

                      Comments

                      Login options

                      Check if you have access through your login credentials or your institution to get full access on this article.

                      Sign in
                      • Published in

                        cover image ACM Conferences
                        SAC '97: Proceedings of the 1997 ACM symposium on Applied computing
                        April 1997
                        545 pages
                        ISBN:0897918509
                        DOI:10.1145/331697

                        Copyright © 1997 ACM

                        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

                        Publisher

                        Association for Computing Machinery

                        New York, NY, United States

                        Publication History

                        • Published: 1 April 1997

                        Permissions

                        Request permissions about this article.

                        Request Permissions

                        Check for updates

                        Qualifiers

                        • Article

                        Acceptance Rates

                        Overall Acceptance Rate1,650of6,669submissions,25%

                        Upcoming Conference

                        SAC '24
                      • Article Metrics

                        • Downloads (Last 12 months)12
                        • Downloads (Last 6 weeks)5

                        Other Metrics

                      PDF Format

                      View or Download as a PDF file.

                      PDF

                      eReader

                      View online with eReader.

                      eReader