  |
Items where Author is "Bartók, Dávid"
Group by: Item Type | No Grouping Number of items: 2. Bartók, Dávid and Mann, Zoltán Ádám (2014) Accelerating SAT solving with best-first-search. In: 15th IEEE International Symposium on Computational Intelligence and Informatics. 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 |
