Fig. 2From: 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=10Back to article page