REAL

Accelerating SAT solving with best-first-search

Bartók, Dávid and Mann, Zoltán Ádám (2014) Accelerating SAT solving with best-first-search. In: CINTI 2014 - 15th IEEE International Symposium on Computational Intelligence and Informatics. IEEE Hungary Section, Budapest, pp. 43-48. ISBN 978-1-4799-5338-7

[img]
Preview
Text
Bartok_Mann_CINTI_2014.pdf

Download (748kB) | Preview
Item Type: Book Section
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 19 Sep 2015 19:34
Last Modified: 19 Sep 2015 19:34
URI: http://real.mtak.hu/id/eprint/26986

Actions (login required)

Edit Item Edit Item