Results
| Title: | Parallel SAT solver based on the Galois System | Authors: | Đokić, Tatjana; Dautović, Staniša   |
Issue Date: | 2013 | Publication: | The Workshop on Parallel Programming and - Run-Time Management Techniques for Many-core Architectures | Publisher: | HiPeac, Germany | Type: | Conference Paper | Collation: | str. 1-6 | URI: | https://enauka.gov.rs/handle/123456789/437109 | Metadata source: | Migrirano iz RIS podataka | Availability note: | На основу доступних података није могуће утврдити да ли резултат постоји | M-category: | Mp. category will be shown later |
Google ScholarTM
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.