DBLP BibTeX Record 'journals/cai/JanicicDT01'
@article{DBLP:journals/cai/JanicicDT01,
author = {Predrag Janicic and
Nenad Dedic and
Goran Terzic},
title = {On Different Models for Generating Random SAT Problems},
journal = {Computers and Artificial Intelligence},
volume = {20},
number = {5},
year = {2001},
bibsource = {DBLP, http://dblp.uni-trier.de}
}



