View of Using aetnanova to formally prove that the Davis-Putnam satisfiability test is correct

Return to Article Details Using aetnanova to formally prove that the Davis-Putnam satisfiability test is correct Download Download PDF