Autori: Terzic Goran
| Naslov | On different models for generating random SAT problems (Article) |
| Autori | Janicic Predrag  Dedic N Terzic Goran
|
| Info | COMPUTING AND INFORMATICS, (2001), vol. 20 br. 5, str. 451-469 |
| Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science |
     |
