Katedra Algorytmiki - lista publikacji
Nadjednostka:
1-12 z 12.
2009
12.
A 2EXPTIME Complete Varietal Membership Problem, SIAM Journal on Computing vol. 6 (2009), 2443-2467
11.
Libor Barto, Marcin Kozik, Todd Niven
10.
Libor Barto, Marcin Kozik
Congruence distributivity implies bounded width, SIAM Journal on Computing vol. 39 (2009), 1531-1542
9.
Libor Barto, Marcin Kozik, Miklós Maróti, Todd Niven
CSP dichotomy for special triads, Proceedings of the American Mathematical Society vol. 137 (2009), 2921-2934
8.
Libor Barto, Marcin Kozik
Constraint Satisfaction Problems of Bounded Width, Proceedings of the 50th Symposium On Foundations of Computer Science, Focs'09 (2009), 595-603
7.
Libor Barto, Marcin Kozik, Miklós Maróti, Ralph McKenzie, Todd Niven
Congruence modularity implies cyclic terms for finite algebras, Algebra Universalis vol. 61 (2009), 365-380
6.
Jarosław Grytczuk, Sebastian Czerwiński, Wiktor Żelazny
Lucky labelings of graphs, Information Processing Letters vol. 109 (2009), 1078-1081
5.
Jarosław Grytczuk, Stanisław Niwczyk, Tomasz Bartnicki
Weight choosability of graphs, Journal of Graph Theory vol. 60 (2009), 242-256
4.
Paweł Idziak, Ralph McKenzie, Matthew Valeriote
3.
Paweł Idziak, Keith Kearnes, Emil Kiss, Matthew Valeriote
Definable principal congruences and solvability, Annals of Pure and Applied Logic vol. 157 (2009), 30-49
2.
Paweł Idziak, Irena Katarzyna Korwin-Słomczyńska
Fregean Varieties, International Journal of Algebra and Computation vol. 19 (2009), 595–645
1.
Noga Alon, Jarosław Grytczuk, Michał Lasoń, Mateusz Michałek
Splitting necklaces and measurable colorings of the real line, Proceedings of the American Mathematical Society vol. 137 (2009), 1593-1599