Fig. 5From: 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=100 and q=15Back to article page