NP-Completeness Results for Deductive Problems on Stratified Terms
暂无分享,去创建一个
[1] Andrei Voronkov,et al. Automated Deduction—CADE-18 , 2002, Lecture Notes in Computer Science.
[2] John E. Hopcroft,et al. Polynomial-time algorithms for permutation groups , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).
[3] Uwe Schöning,et al. Gems of Theoretical Computer Science , 1998, Springer Berlin Heidelberg.
[4] Gregory Butler,et al. Fundamental Algorithms for Permutation Groups , 1991, Lecture Notes in Computer Science.
[5] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[6] Mnacho Echenim,et al. On Leaf Permutative Theories and Occurrence Permutation Groups , 2003, Electron. Notes Theor. Comput. Sci..
[7] D. Plaisted. Equational reasoning and term rewriting systems , 1993 .
[8] Thierry Boy de la Tour. A Note on Symmetry Heuristics in SEM , 2002, CADE.
[9] David A. Plaisted,et al. General Algorithms for Permutations in Equational Inference , 2004, Journal of Automated Reasoning.
[10] Anna Lubiw,et al. Some NP-Complete Problems Similar to Graph Isomorphism , 1981, SIAM J. Comput..
[11] Christoph M. Hoffmann,et al. Group-Theoretic Algorithms and Graph Isomorphism , 1982, Lecture Notes in Computer Science.