The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory 论文
1998SIAM Journal on Computing引用 1067
Advanced Graph Theory ResearchComplexity and Algorithms in GraphsConstraint Satisfaction and Optimization