Author:
Boy de la Tour Thierry,Echenim Mnacho
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. General algorithms for permutations in equational inference;Avenhaus;Journal of Automated Reasoning,2001
2. Random graph isomorphism;László;SIAM Journal of Computing,1980
3. Theirry Boy de la Tour. A note on symmetry heuristics in SEM. In Andrei Voronkov, editor, Proceedings of CADE-18, Lecture Notes in Artificial Intelligence 2392, pages 181–194, Copenhagen, Denmark, july 2002. Springer Verlag.
4. Fundamental algorithms for permutation groups;Butler,1991
5. Computers and intractability: a guide to the theory of NP-completeness;Garey,1979
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献