Results
| Title: | Formal Correctness Proof for DPLL Procedure | Authors: | Marić, Filip   ; Janičić, Predrag |
Issue Date: | 2010 | Publication: | Informatica | ISSN: | 0868-4952 Informatica Search Idenfier |
Publisher: | Vilnius : Vilnius University Press | Type: | Article | Collation: | vol. 21 br. 1 str. 57-78 | DOI: | 10.15388/informatica.2010.273 | WoS-ID: | 000276558800005 | URI: | https://enauka.gov.rs/handle/123456789/483945 | Metadata source: | Migrirano iz RIS podataka | M-category: | 21aM21a |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.