Find link

language:

Find link is a tool written by Edward Betts.

searching for Complexity of constraint satisfaction 2 found (5 total)

alternate case: complexity of constraint satisfaction

ACM SIGLOG (470 words) [view diff] no match in snippet view article find links to article

Vardi "for fundamental contributions to the computational complexity of constraint-satisfaction problems." 2019 Murdoch J. Gabbay and Andrew M. Pitts for

Gödel Prize (2,157 words) [view diff] exact match in snippet view article find links to article

Richerby for their work on the classification of the counting complexity of constraint satisfaction problems 2013 2013 2017 2022 Zvika Brakerski, Craig Gentry