Constraints, Graphs, Algebra, Logic, and Complexity.

Moshe Y. Vardi

Browse the full TAMC paper archive.