Revision as of 23:39, 12 June 2011 edit Citation bot 1 (talk \| contribs) Bots 130,044 edits m [Pu354]Misc citation tidying. ← Previous edit		Revision as of 16:23, 30 June 2011 edit undo Cydebot (talk \| contribs) 6,812,251 edits m Robot - Moving category Constraint satisfaction to Category:Constraint programming per CFD at Wikipedia:Categories for discussion/Log/2011 June 15. Next edit →
Line 64: [[Category:Boolean algebra]] [[Category:Constraint ~~satisfaction~~programming]] [[Category:Automated theorem proving]]

Davis–Putnam algorithm: Difference between revisions