On the Occurrence of Null Clauses in Random Instances of Satisfiability


We analyze a popular probabilistic model for generating instances of Satissability. According to this model, each literal of a set L = fv 1 ; v r g of literals appears independently in each of n clauses with probability p. This model allows null clauses and the frequency of occurrence of such clauses depends on the relationship between the parameters n, r… (More)
DOI: 10.1016/0166-218X(90)90054-G


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics