Declarative Rule

• Name: DPLL unit clauses elimination
• Source(s):
  • Name: A Computing Procedure for Quantification Theory. JACM 7(3), 201-215
  • URL: http://doi.acm.org/10.1145/321033.321034
  • Author(s):
    • Name: Hilary Putnam
    • URL: http://www.fas.harvard.edu/~phildept/html/putnam.html
    • Affiliation(s):
      • Name: Department of Philosophy, Harvard University

    ---

    • Name: Martin Davis
    • URL: http://cs.nyu.edu/cs/faculty/davism/
    • Affiliation(s):
      • Name: Computer Science Department, Courant Institute of Mathematical Sciences, NYU
      • URL: http://cs.nyu.edu/csweb/
  • Publisher:
    • Name: Association for Computing Machinery
    • URL: http://www.acm.org/
  • Year: 1960

(Registration details...)

Copyright 2009 Inference Web group.
All Rights Reserved.