1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/2426
Title: meSAT: Multiple Encodings of CSP to SAT
Authors: Stojadinović, Mirko
Marić, Filip 
Affiliations: Informatics and Computer Science 
Issue Date: 2015
Rank: M34
Publisher: Springer
Related Publication(s): Principles and Practice of Constraint Programming, 21st International Conference, CP 2015
Journal: Lecture Notes in Computer Science
Conference: International Conference Principles and Practice of Constraint Programming, CP (21 ; 2015 ; Cork)
URI: https://research.matf.bg.ac.rs/handle/123456789/2426
Appears in Collections:Research outputs

Show full item record

Google ScholarTM

Check


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