Image by Ogutier on Pixabay · Pixabay License
戴维斯–普特南算法
Sign in to saveAlso known as Davis-Putnam algorithm, Davis–Putnam procedure
algorithm for check the validity of a logic formula
Image by Ogutier on Pixabay · Pixabay License
Also known as Davis-Putnam algorithm, Davis–Putnam procedure
algorithm for check the validity of a logic formula