Results

eNauka >  Rezultati >  On different models for generating random SAT problems
Naziv: On different models for generating random SAT problems
Autori: Janicic, Predrag  ; Dedic, N; Terzic, Goran
Godina: 2001
Publikacija: Computing and Informatics
ISSN: 1335-9150 Computing and Informatics Pretraži identifikator
Izdavač: Bratislava : Slovak Academy of Sciences, Institute of Informatics
Tip rezultata: Naučni članak
Kolacija: vol. 20 br. 5 str. 451-469
WoS-ID: 000175206200002
Scopus-ID: 2-s2.0-0345772957
URI: https://enauka.gov.rs/handle/123456789/808023
Izvor metapodataka: (Preuzeto iz Nasi u WoS)
M-kategorija: 
23M23 - Međunarodni časopis kategorije M23

Find the DOI

Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.