Indiana University Bloomington

School of Informatics and Computing

Technical Report TR291:
On the Occurrence of Null Clauses in Random Instances of Satisfiability

John Franco
(Oct 1989)
Abstract:
The abstact is not available. Please see the full paper.

Available as: