REAL

Items where Author is "Mann, Zoltán Ádám"

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

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. (In Press)

Mann, Zoltán Ádám and Szép, Tamás (2014) Accelerating backtrack search with a best-first-search strategy. International Journal of Applied Mathematics and Computer Science, 24 (4). ISSN 1641-876X (In Press)

Mann, Zoltán Ádám and Papp, Pál András (2014) Formula partitioning revisited. In: Fifth Pragmatics of SAT workshop.

Mann, Zoltán Ádám (2014) Typical-case complexity and the SAT competitions. In: Fifth Pragmatics of SAT workshop.

Mann, Zoltán Ádám and Szajkó, Anikó (2013) Average-case complexity of backtrack search for coloring sparse random graphs. Journal of Computer and System Sciences, 79 (8). pp. 1287-1301. ISSN 0022-0000

Mann, Zoltán Ádám and Papp, Pál András (2013) Predicting algorithmic complexity through structure analysis and compression. Applied Soft Computing, 13 (8). pp. 3582-3596. ISSN 1568-4946

Mann, Zoltán Ádám and Szajkó, Anikó (2012) Complexity of different ILP models of the frequency assignment problem. In: Linear Programming - New Frontiers in Theory and Applications. Nova Science Publishers, pp. 305-326. ISBN 978-1-61209-579-0

Mann, Zoltán Ádám and Szajkó, Anikó (2011) Determining the expected runtime of an exact graph coloring algorithm. In: Proceedings of the 2010 Mini-Conference on Applied Theoretical Computer Science. University of Primorska Press, pp. 75-83. ISBN 978-961-6832-10-6

Mann, Zoltán Ádám (2011) GPGPU: Hardware/Software Co-Design for the Masses. Computing and Informatics, 30 (6). pp. 1247-1257. ISSN 1335-9150

Recski, András and Fogaras, Dániel and Frank, András and Friedl, Katalin and Laborczi, Péter and Mann, Zoltán Ádám and Marx, Dániel and Nagy, Gyula and Orbán, András and Szeszlér, Dávid and Szkaliczki, Tibor and Tapolcai, János and Wettl, Ferenc (2007) Kombinatorikus optimalizálás alkalmazásai a villamosságtanban = Combinatorial optimization and its applications in electrical engineering. Project Report. OTKA.

Arató, Péter and Csák, Bence and Kalmár, Péter and Kandár, Tibor and László, Zoltán and Mann, Zoltán Ádám and Mohr, Zoltán and Orbán, András (2007) Új rendszerszintű szintézis algoritmusok kutatása a software fejlesztés elveinek és módszertanának kiterjesztése révén = Research for new algorithms in system level synthesis by extending the principles and methodology of software development. Project Report. OTKA.

This list was generated on Tue Sep 23 18:20:10 2014 CEST.