Formula simplification via invariance detection by algebraically indexed types
type: Item
instance of: scholarly article
title: Formula simplification via invariance detection by algebraically indexed types
DOI: 10.1007/978-3-031-10769-6_24
author: Takuya Matsuzaki
author: Tomohiro Fujita
publication date: 2022-12-07T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7628200
describes a project that uses: SymChaff
describes a project that uses: CDCLSym
MaRDI profile type: Publication
full work available at URL: 978-3-031-10769-6 24
OpenAlex ID: W4289104035
cites work: Tractability of cut-free Gentzen type propositional calculus with permutation inference
cites work: Q2721182
cites work: Abstraction and invariance for algebraically indexed types
cites work: Q5301651
cites work: What does ``without loss of generality'' mean, and how do we detect it
cites work: Improved Static Symmetry Breaking for SAT
cites work: Without Loss of Generality
cites work: Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
cites work: Short proofs for tricky formulas
cites work: Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1
cites work: Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems
cites work: CDCLSym: introducing effective symmetry breaking in SAT solving
cites work: \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
cites work: Homomorphisms of conjunctive normal forms.
description: scientific article; zbMATH DE number 7628200