Results

eNauka >  Results >  meSAT: multiple encodings of CSP to SAT
Title : meSAT: multiple encodings of CSP to SAT
Authors: Stojadinović, Mirko; Marić, Filip  
Issue Date: 2014
Publication: Constraints
ISSN: 1383-7133 Constraints Search Idenfier
Publisher: Springer
Type: Article
Collation: vol. 19 br. 4 str. 380-403
DOI: 10.1007/s10601-014-9165-7
WoS-ID: 000340535900002
Scopus-ID: 2-s2.0-84906081327
URI: https://enauka.gov.rs/handle/123456789/161666
Metadata source: Migrirano iz RIS podataka
M-category: 
21M21

24
SCOPUSTM
16
OpenCitations
16
WEB OF SCIENCETM
Alt metrika
Dimensions
Unpaywall

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.