Bartók Dávid

dolgozatok

SAT-solverek gyorsítása best-first search algoritmussal

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2013 konferencia » Szoftver szekció, 2013

Villamosmérnöki és Informatikai Kar » Szoftver téma

Mann Zoltán Dr. ( SZIT)

III. helyezett