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

The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory · 作者