REAL

Items where Author is "Bartók, Dávid"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Book Section

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

Conference or Workshop Item

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.

This list was generated on Sun Mar 23 06:47:00 2025 CET.