Резултати

еНаука >  Резултати >  On different models for generating random SAT problems
Назив: On different models for generating random SAT problems
Аутори: Janicic, Predrag  ; Dedic, N; Terzic, Goran
Година: 2001
Публикација: Computing and Informatics
ISSN: 1335-9150 Computing and Informatics Претражи идентификатор
Издавач: Bratislava : Slovak Academy of Sciences, Institute of Informatics
Тип резултата: Научни чланак
Колација: vol. 20 br. 5 str. 451-469
WoS-ID: 000175206200002
Scopus-ID: 2-s2.0-0345772957
URI: https://enauka.gov.rs/handle/123456789/808023
Извор метаподатака: (Preuzeto iz Nasi u WoS)
М-категорија: 
23M23 - Међународни часопис категорије M23

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.