Subject
Discrete Mathematics and Combinatorics
Reference27 articles.
1. Datalog vs. first-order logic;Ajtai;Journal of Computer and System Sciences,1994
2. On sufficient conditions for unsatisfiability of random formulas;Atserias;Journal of the ACM,2004
3. A. Atserias, A. Dawar, Ph.G. Kolaitis, On preservation under homomorphisms and unions of conjunctive queries, in: 31st Annual ACM-SIGACT-SIGACT Symposium on Principles of Database Systems, 2004
4. A. Bulatov, Malt’sev constraints are tractable, Technical report PRG-RR-02-05, Oxford University, 2002
5. Reduction to NP-complete problems by interpretations;Dalhaus,1984
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献