Logical Algorithmics: From Relational Queries to Boolean Reasoning (Invited Talk).

Moshe Y. Vardi

Browse the full SAT paper archive.