Prepare a writeup on - Plot a graph showing how average runtime varies for satisfiable formulae for both methods, as the ratio C/V varies from 0.5 to 10, fixing V to 10, 20, 30, 40, and 50. Use DPLL’s solution to determine when a formula is satisfiable for this graph. Use at least 5 points on the x-axis.

Answer rating: 100% (QA)

Title Analysis of Average Runtime Variation in Satisfiable Formulae DPLL vs CV Ratio Introduction Th... View the full answer