2009 |
5 | EE | Libor Barto,
Marcin Kozik,
Todd Niven:
The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell).
SIAM J. Comput. 38(5): 1782-1802 (2009) |
4 | EE | Marcin Kozik:
A 2EXPTIME Complete Varietal Membership Problem.
SIAM J. Comput. 38(6): 2443-2467 (2009) |
2008 |
3 | EE | Libor Barto,
Marcin Kozik,
Todd Niven:
Graphs, polymorphisms and the complexity of homomorphism problems.
STOC 2008: 789-796 |
2 | EE | Marcin Kozik:
A finite set of functions with an EXPTIME-complete composition problem.
Theor. Comput. Sci. 407(1-3): 330-341 (2008) |
2007 |
1 | EE | Marcin Kozik:
Computationally and Algebraically Complex Finite Algebra Membership Problems.
IJAC 17(8): 1635-1666 (2007) |