@ARTICLE{
author={Janicic Predrag,Dedic N,Terzic Goran},
year={2001},
title={On different models for generating random SAT problems},
journal={COMPUTING AND INFORMATICS},
volume={20},
number={5},
pages={451-469},
document_type={Article},
}