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
|
Text
Bartok_Mann_CINTI_2014.pdf Download (748kB) | Preview |
Official URL: http://www.cs.bme.hu/~mann/publications/CINTI-2014...
| 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 |
