Formula simplification via invariance detection by algebraically indexed types
From MaRDI portal
Publication:2104529
DOI10.1007/978-3-031-10769-6_24OpenAlexW4289104035MaRDI QIDQ2104529FDOQ2104529
Authors: 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
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Homomorphisms of conjunctive normal forms.
- Short proofs for tricky formulas
- The complexity of quantifier elimination and cylindrical algebraic decomposition
- 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
- Title not available (Why is that?)
- 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 problems
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)
