Results
| Title: | On different models for generating random SAT problems | Authors: | Janicic, Predrag   ; Dedic, N; Terzic, Goran |
Issue Date: | 2001 | Publication: | Computing and Informatics | ISSN: | 1335-9150 Computing and Informatics Search Idenfier |
Publisher: | Bratislava : Slovak Academy of Sciences, Institute of Informatics | Type: | Article | Collation: | vol. 20 br. 5 str. 451-469 | WoS-ID: | 000175206200002 | Scopus-ID: | 2-s2.0-0345772957 | URI: | https://enauka.gov.rs/handle/123456789/808023 | Metadata source: | (Preuzeto iz Nasi u WoS) | M-category: | 23M23 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.