Search Results - "Theory of computation Logic Proof theory" :: K.UTB vyhledávací portál

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem

by Zhuk, Dmitriy
Published in Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)

Get full text

Conference Proceeding

Published in Proceedings of the 2001 international symposium on Symbolic and algebraic computation

Get full text

Conference Proceeding

Published in Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81

Get full text

Conference Proceeding

Published in Proceedings of the annual conference on - ACM'73

Get full text

Conference Proceeding