Katedra Algorytmiki - lista publikacji
Nadjednostka:
1-7 z 7.
2010
7.
Term equation satisfiability over finite algebras, International Journal of Algebra and Computation vol. 20(8) (2010), 1001-1020
6.
Libor Barto, Marcin Kozik
Cyclic terms for SD(V) varieties revisited, Algebra Universalis vol. 64 (2010), 137-142
5.
Libor Barto, Marcin Kozik
New conditions for Taylor varieties and CSP, Proceedings of the 25th Ieee/acm Symposium On Logic in Computer Science Lics'10 (2010), 100-109
4.
Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote, Ross Willard
Tractability and learnabilty arising from algebras with few subpowers, SIAM Journal on Computing vol. 39 (2010), 3023-3037
3.
Joel Berman, Paweł Idziak, Petar Marković, Ralph McKenzie, Matthew Valeriote, Ross Willard
Varieties with few subalgebras of powers, Transactions of the American Mathematical Society vol. 362 (2010), 1445-1473
2.
Bartłomiej Bosek, Tomasz Krawczyk
The Sub-exponential Upper Bound for On-Line Chain Partitioning, (2010), "51th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2010, October 23-26, 2010, Las Vegas, Nevada, USA", Institute of Electrical and Electronics Engineers (IEEE)
1.
Bartłomiej Bosek, Tomasz Krawczyk, Edward Szczypka
First-Fit Algorithm for the On-Line Chain Partitioning Problem, SIAM Journal on Discrete Mathematics vol. 23(4) (2010), 1992-1999