Ground resolution with group computations on semantic symmetries

DOI10.1007/3-540-61511-3_108zbMath1412.68211OpenAlexW1836692749MaRDI QIDQ4647542

Thierry Boy de la Tour

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_108

zbMATH Keywords

permutation groupautomated theorem provingground resolution

Mathematics Subject Classification ID

Uses Software

• GAP
• nauty
• GRAPE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Short proofs for tricky formulas
• Fundamental algorithms for permutation groups
• Tractability through symmetries in propositional calculus
• An Algorithm for Finding the Blocks of a Permutation Group

This page was built for publication: Ground resolution with group computations on semantic symmetries