Logical compactness and constraint satisfaction problems

Danny Rorabaugh, Claude Tardif, David L. Wehlau. Logical compactness and constraint satisfaction problems. Logical Methods in Computer Science, 13(1), 2017. [doi]

Abstract

Abstract is missing.