Nothing Special   »   [go: up one dir, main page]

skip to main content
article
Free access

Factorization and circuit in the connection method

Published: 01 July 1993 Publication History
First page of PDF

References

[1]
~ANDREWS, P.B. Theorem proving via general matings. J. ACM 28, 2 (Apr. 1981), 193-214.
[2]
~BIBEL, W. On matrices with connections~ Z ACM 28, 4 (Oct. 1981), 633-645.
[3]
~BmEL, W. A. A comparative study of several proof procedures. Arnf Int. 18 (1982), ~ 269-293.
[4]
~BIBEL, W. Automated Theorem Pro~,mg. Vieweg, Wiesbaden, Germany, 1987.
[5]
~FRONH6FER, B. On refinements of the connection method. In Algebra, Combinatorics and ~Logic tn Computpr Science, J. Demetrovieg. G. Katona. and A. galomaa, Edg. Colloquia ~Mathematica Soc. Bolyai, vol. 42. North Holland, Amsterdam, The Netherlands, 1986.
[6]
~GALLAIRE, H., MINKER, J., AND NICOLAS, J.M. Logic and databases: A deductwe approach. ~ACM Comput. Surv. 16, 2 (June 1984), 153-185.
[7]
~GOLDBERG, A. Average complexity of the satisfiability problem. In Proceedings of the 4th ~Workshop on Automated Deduction W. Joyner, ed. (Austin, Tex., 1979), pp. 1-16.
[8]
~H6RNIO, K. M., AND BIBEL, W. Improvements of a tautology testing algorithm. In CADE-6, ~D. Loveland, ed. Lecture Notes in Computer Science, vol. 138. Springer-Verlag, New York, ~1982, pp. 326-341.
[9]
~JOHNSON, C.A. Handling indefinite and negative data in deductive databases. Data Knowl. ~Eng. 6 (1991), 333-348.
[10]
~KOWALSKI, R. Logic for Problem Solving. North-Holland, Amsterdam, The Netherlands, ~1979.
[11]
~LOVELAND, D. Automated Theorem Proving. North-Holland, Amsterdam, The Netherlands, ~1978.
[12]
~PLAISTED, D.A. A structure preserving clause form translation. J. Symb. Comput. 2 (1986), ~293-304.
[13]
~PRAWITZ, D. A proof procedure with matrix reduction. In Lecture Notes in Mathematics, vol. ~125. Springer-Verlag, New York, 1970, pp. 207-213.
[14]
~ROBINSON, J.A. A machine-oriented logic based on the resolution principle. J. ACM 12, 1 ~(Jan. 1965), 23-41.
[15]
~SAVAGE, J.E. The Complexity of Computing. Wiley, New York, 1976.
[16]
~WmF, H.S. Algorithms and Complexity. Prentice-Hall, Englewood Cliffs, N.J., 1986.

Cited By

View all

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of the ACM
Journal of the ACM  Volume 40, Issue 3
July 1993
369 pages
ISSN:0004-5411
EISSN:1557-735X
DOI:10.1145/174130
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 1993
Published in JACM Volume 40, Issue 3

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. pruning rules
  2. search space

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)32
  • Downloads (Last 6 weeks)9
Reflects downloads up to 24 Sep 2024

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media