Open AccessOn the Complexity of Extending Ground Resolution with Symmetry Rules
Author(s) -
Thierry Boy de la Tour,
Stéphane Demri
Publication year - 1995
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - graph isomorphism , homogeneous space , symmetry (geometry) , resolution (logic) , permutation group , permutation (music) , time complexity , one dimensional symmetry group , mathematics , computational complexity theory , symmetry group , isomorphism (crystallography) , set (abstract data type) , symmetry operation , group theory , computer science , discrete mathematics , graph , algorithm , pure mathematics , artificial intelligence , physics , geometry , crystal structure , chemistry , line graph , acoustics , programming language , crystallography