Rezultati

eNauka >  Results >  Extending SMT solvers with support for finite domain alldifferent constraint
Title: Extending SMT solvers with support for finite domain alldifferent constraint
Authors: Banković, Milan  
Issue Date: 2016
Publication: Constraints
ISSN: 1383-7133 Constraints Search Idenfier
Publisher: Springer
Type: Article
Collation: vol. 21 br. 4 str. 463-494
DOI: 10.1007/s10601-015-9232-8
WoS-ID: 000386553500002
Scopus-ID: 2-s2.0-84947125044
URI: https://enauka.gov.rs/handle/123456789/161452
Metadata source: Migrirano iz RIS podataka
M-category: 
21M21

2
SCOPUSTM
1
OpenCitations
2
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.