A rendezvous of logic, complexity, and algebra
Author:
Open Access
- 1 December 2006
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGACT News
- Vol. 37 (4) , 85-114
Abstract
I am always looking for contributions. If you have any suggestion concerning the content of the Logic Column, or if you would like to contribute by writing a column yourself, feel free to get in touch with me.Keywords
This publication has 42 references indexed in Scilit:
- A dichotomy theorem for constraint satisfaction problems on a 3-element setJournal of the ACM, 2006
- H-Coloring dichotomy revisitedTheoretical Computer Science, 2005
- SIGACT news complexity theory column 43ACM SIGACT News, 2004
- SIGACT news complexity theory column 42ACM SIGACT News, 2003
- Constraints, consistency and closureArtificial Intelligence, 1998
- Closure properties of constraintsJournal of the ACM, 1997
- Complete sets and the polynomial-time hierarchyTheoretical Computer Science, 1976
- The polynomial-time hierarchyTheoretical Computer Science, 1976
- Galois theory for post algebras. ICybernetics and Systems Analysis, 1972
- Closed systems of functions and predicatesPacific Journal of Mathematics, 1968