Results

eNauka >  Results >  meSAT: Multiple Encodings of CSP to SAT
Title : meSAT: Multiple Encodings of CSP to SAT
Authors: Stojadinovic, Mirko S; Maric, Filip M  
Issue Date: 2015
Publication: Principles and Practice of Constraint Programming, CP 2015
ISSN: 0302-9743 Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence Search Idenfier
Type: Conference Paper
Collation: vol. 9255 str. 741-741
WoS-ID: 000364707100062
URI: https://enauka.gov.rs/handle/123456789/828022
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
Mp. category will be shown later

Find the DOI

Google ScholarTM

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