Formula simplification via invariance detection by algebraically indexed types
From MaRDI portal
Publication:2104529
DOI10.1007/978-3-031-10769-6_24OpenAlexW4289104035MaRDI QIDQ2104529FDOQ2104529
Takuya Matsuzaki, Tomohiro Fujita
Publication date: 7 December 2022
Full work available at URL: https://doi.org/10.1007/978-3-031-10769-6_24
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Homomorphisms of conjunctive normal forms.
- Short proofs for tricky formulas
- Tractability of cut-free Gentzen type propositional calculus with permutation inference
- Improved Static Symmetry Breaking for SAT
- Without Loss of Generality
- CDCLSym: introducing effective symmetry breaking in SAT solving
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
- What does ``without loss of generality mean, and how do we detect it
- Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems
- Abstraction and invariance for algebraically indexed types
- Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1
Uses Software
This page was built for publication: Formula simplification via invariance detection by algebraically indexed types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104529)
