The complexity of resolution with generalized symmetry rules

DOI10.1007/s00224-004-1192-0zbMath1066.68121OpenAlexW2905990799MaRDI QIDQ1771316

Stefan Szeider

Publication date: 19 April 2005

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: http://dro.dur.ac.uk/1909/1/1909.pdf

zbMATH Keywords

symmetry rule for resolution systems

Mathematics Subject Classification ID

Related Items (3)

Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas ⋮ Parameterized Complexity Results in Symmetry Breaking ⋮ Exploiting Symmetry in SMT Problems

This page was built for publication: The complexity of resolution with generalized symmetry rules