EasyChair Smart Slide
Algorithms, Complexity, Verification: from Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape
Algorithms, Complexity, Verification: from Cook and Karp to Vardi; or, a Brief Glimpse of the Skolem Landscape