Items where Author is "Bartók, Dávid"
Group by: Item Type | No Grouping Jump to: Book Section | Conference or Workshop Item Number of items: 2. Book SectionBartó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 Conference or Workshop ItemBartó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. |