Revision as of 00:04, 27 June 2008 edit Simeon (talk \| contribs) Autopatrolled, Extended confirmed users 940,676 edits termination is not required to be called an algorithm ← Previous edit		Revision as of 20:39, 29 June 2008 edit undo Alaibot (talk \| contribs) 434,501 edits m Robot: sorting stub (based on existing categorisation) Next edit →
Line 65: }} {{~~Comp-sci~~formalmethods-stub}} [[Category:Boolean algebra]]

Davis–Putnam algorithm: Difference between revisions