Formula simplification via invariance detection by algebraically indexed types (Q2104529): Difference between revisions

@@ Property / cites work @@
+Tractability of cut-free Gentzen type propositional calculus with permutation inference
+Normal rank
@@ Property / cites work @@
+Q2721182
@@ Property / cites work: Q2721182 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction and invariance for algebraically indexed types
+Normal rank
@@ Property / cites work @@
+Q5301651
@@ Property / cites work: Q5301651 / rank @@
+Normal rank
@@ Property / cites work @@
+What does ``without loss of generality'' mean, and how do we detect it
+Normal rank
@@ Property / cites work @@
+Improved Static Symmetry Breaking for SAT
@@ Property / cites work: Improved Static Symmetry Breaking for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Without Loss of Generality
@@ Property / cites work: Without Loss of Generality / rank @@
+Normal rank
@@ Property / cites work @@
+Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
+Normal rank
@@ Property / cites work @@
+Short proofs for tricky formulas
@@ Property / cites work: Short proofs for tricky formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1
+Normal rank
@@ Property / cites work @@
+Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems
+Normal rank
@@ Property / cites work @@
+CDCLSym: introducing effective symmetry breaking in SAT solving
+Normal rank
@@ Property / cites work @@
+\texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
+Normal rank
@@ Property / cites work @@
+Homomorphisms of conjunctive normal forms.
@@ Property / cites work: Homomorphisms of conjunctive normal forms. / rank @@
+Normal rank