A nonexistence certificate for projective planes of order ten with weight 15 codewords (Q780361): Difference between revisions

@@ Property / describes a project that uses @@
+tawSolver
@@ Property / describes a project that uses: tawSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathCheck
@@ Property / describes a project that uses: MathCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMTCoq
@@ Property / describes a project that uses: SMTCoq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nauty
@@ Property / describes a project that uses: nauty / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Traces
@@ Property / describes a project that uses: Traces / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CnC
@@ Property / describes a project that uses: CnC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3017080342
@@ Property / OpenAlex ID: W3017080342 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04032
@@ Property / arXiv ID: 1911.04032 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Bridges between Symbolic Computation and Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
+Normal rank
@@ Property / cites work @@
+Formalizing Some “Small” Finite Models of Projective Geometry in Coq
+Normal rank
@@ Property / cites work @@
+Enumeration of Complex Golay Pairs via Programmatic SAT
+Normal rank
@@ Property / cites work @@
+The Nonexistence of Certain Finite Projective Planes
+Normal rank
@@ Property / cites work @@
+Blocking sets, k-arcs and nets of order ten
@@ Property / cites work: Blocking sets, k-arcs and nets of order ten / rank @@
+Normal rank
@@ Property / cites work @@
+Unbalanced Hadamard matrices and finite projective planes of even order
+Normal rank
@@ Property / cites work @@
+Q3089310
@@ Property / cites work: Q3089310 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing the Ramsey number \(R(4,3,3)\) using abstraction and symmetry breaking
+Normal rank
@@ Property / cites work @@
+Formally verifying the solution to the Boolean Pythagorean triples problem
+Normal rank
@@ Property / cites work @@
+Editorial: Symbolic computation and satisfiability checking
+Normal rank
@@ Property / cites work @@
+Non-existence of a certain projective plane
@@ Property / cites work: Non-existence of a certain projective plane / rank @@
+Normal rank
@@ Property / cites work @@
+Configurations in a Plane of Order Ten
@@ Property / cites work: Configurations in a Plane of Order Ten / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Computer-aided proof of Erdős discrepancy properties
+Normal rank
@@ Property / cites work @@
+The van der Waerden Number<i>W</i>(2, 6) Is 1132
@@ Property / cites work: The van der Waerden Number<i>W</i>(2, 6) Is 1132 / rank @@
+Normal rank
@@ Property / cites work @@
+Green-Tao Numbers and SAT
@@ Property / cites work: Green-Tao Numbers and SAT / rank @@
+Normal rank
@@ Property / cites work @@
+The Search for a Finite Projective Plane of Order 10
+Normal rank
@@ Property / cites work @@
+The nonexistence of code words of weight 16 in a projective plane of order 10
+Normal rank
@@ Property / cites work @@
+The Non-Existence of Finite Projective Planes of Order 10
+Normal rank
@@ Property / cites work @@
+The nonexistence of ovals in a projective plane of order 10
+Normal rank
@@ Property / cites work @@
+Learning Rate Based Branching Heuristic for SAT Solvers
+Normal rank
@@ Property / cites work @@
+On the existence of a projective plane of order 10
+Normal rank
@@ Property / cites work @@
+Formalizing Projective Plane Geometry in Coq
@@ Property / cites work: Formalizing Projective Plane Geometry in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Practical graph isomorphism. II.
@@ Property / cites work: Practical graph isomorphism. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient SAT Solving under Assumptions
@@ Property / cites work: Efficient SAT Solving under Assumptions / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
+Normal rank
@@ Property / cites work @@
+MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
+Normal rank