Inference Engine

• Full name: JSAT - The Java SATisfiability Library
• Source(s):
  • Name: Daniel Le Berre
  • URL: http://www.cril.univ-artois.fr/~leberre/
  • Affiliation(s):
    • Name: Centre de Recherche en Informatique de Lens, Universite dArtois
    • URL: http://www.cril.univ-artois.fr/CRIL/
• Inference Rule(s):
  • Name: DPLL affirmative-negative rule
  • Description in English: In an atomic
  • 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

  ---

  • Name: DPLL atomic formulas 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

  ---

  • 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.