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