- 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 Scholar
- 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 ScholarDigital Library
- 3.Jun Gu. Local search for satisfiablity (SAT) problem. IEEE Transactions on Systems, Man, and Cybernetics, 23(4):1108-1129, 1993.Google ScholarCross Ref
- 4.John McCarthy. A tough nut for proof procedures. Stanford Artificial Intelligence Project, July 1964.Google Scholar
- 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 Scholar
- 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 ScholarCross Ref
- 7.J. Stanley. F~NDEa version 3.0 notes and guide. Centre for Information Science Research, Australian National University, 1993.Google Scholar
- 8.Hantao Zhang and Mark E. Stickel. Implementing the Davis-Putnam algorithm by tries. University of Iowa, 1994.Google Scholar
- 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 ScholarDigital Library
- 10.Jian Zhang and Hantao Zhang. SEM user guide. Department of Computer Science, University of Iowa, 1995.Google Scholar
- 11.Jian Zhang and Hantao Zhang. Combining local search and backtracking techniques for constraint satisfaction. Forthcoming, 1996.Google Scholar
- 12.Jian Zhang and Hantao Zhang. The model generator SEM (system description). Forthcoming, 1996.Google Scholar
Index Terms
Direct finite first-order model generation with negative constraint propagation heuristic
Recommendations
Stabilized hp-Finite Element Methods for First-Order Hyperbolic Problems
We analyze the hp-version of the streamline-diffusion finite element method (SDFEM) and of the discontinuous Galerkin finite element method (DGFEM) for first-order linear hyperbolic problems. For both methods, we derive new error estimates on general ...
Algebraic multigrid for higher-order finite elements
Two related approaches for solving linear systems that arise from a higher-order finite element discretization of elliptic partial differential equations are described. The first approach explores direct application of an algebraic-based multigrid ...
Comments