ESP Wiki is looking for moderators and active contributors!

Difference between revisions of "Stålmarck's algorithm"

(Created page with "[http://www.google.com/patents/US5276897 Stålmarck's algorithm] is a patented decision procedure. It is widely known to be patented, and it is often considered that all "satu...")
 
(==Related pages on {{SITENAME}}== * Software is math * Example software patents {{footer}} Category: Example software patents)
Line 4: Line 4:
  
 
It is important enough that the standard handbook of the field, [http://books.google.co.kr/books?id=lYSYLPWJQKMC Handbook of Practical Logic and Automated Reasoning], devotes nearly 10 pages to the algorithm. As usual, the book notes its patented status on [http://books.google.co.kr/books?id=lYSYLPWJQKMC&pg=PA90 page 90].
 
It is important enough that the standard handbook of the field, [http://books.google.co.kr/books?id=lYSYLPWJQKMC Handbook of Practical Logic and Automated Reasoning], devotes nearly 10 pages to the algorithm. As usual, the book notes its patented status on [http://books.google.co.kr/books?id=lYSYLPWJQKMC&pg=PA90 page 90].
 +
 +
==Related pages on {{SITENAME}}==
 +
 +
* [[Software is math]]
 +
* [[Example software patents]]
 +
 +
 +
{{footer}}
 +
[[Category: Example software patents]]

Revision as of 04:23, 17 September 2014

Stålmarck's algorithm is a patented decision procedure. It is widely known to be patented, and it is often considered that all "saturation based decision procedure" is claimed by the patent.

Academic papers explicitly note its patented status: in 1996, in 2000, etc. It is notable that the algorithm actually was never properly published, so academic publications actually cite the patent itself, which I think is rare for a software patent. The alternative is to cite the unpublished manuscript.

It is important enough that the standard handbook of the field, Handbook of Practical Logic and Automated Reasoning, devotes nearly 10 pages to the algorithm. As usual, the book notes its patented status on page 90.

Related pages on ESP Wiki