Fig. 3From: Generalized probabilistic satisfiability through integer programmingGPSAT phase transition. Ratio of satisfiable instance and average computation time for each number m of clauses in Γ, with n=50 and q=15Back to article page