Nonexistence Certificates for Ovals in a Projective Plane of Order Ten

DOI10.1007/978-3-030-48966-3_8OpenAlexW3103620628MaRDI QIDQ5041183

Vijay Ganesh, Curtis Bright, Brett Stevens, Ilias S. Kotsireas, Kevin K. H. Cheung

Publication date: 13 October 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.11974

zbMATH Keywords

symbolic computationsatisfiability checkingcombinatorial search

Mathematics Subject Classification ID

Algorithms in computer science (68Wxx) Discrete mathematics in relation to computer science (68Rxx)

Uses Software

• nauty
• Plingeling
• Traces
• DRAT-trim
• Treengeling
• Lynx
• Lingeling

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A nonexistence certificate for projective planes of order ten with weight 15 codewords
• Classification algorithms for codes and designs
• Computer-aided proof of Erdős discrepancy properties
• The nonexistence of code words of weight 16 in a projective plane of order 10
• An orderly algorithm and some applications in finite geometry
• An empirical study of branching heuristics through the lens of global learning rate
• Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
• New ways to multiply \(3 \times 3\)-matrices
• The SAT+CAS method for combinatorial search with applications to best matrices
• Editorial: Symbolic computation and satisfiability checking
• Applying computer algebra systems with SAT solvers to the Williamson conjecture
• Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
• Practical graph isomorphism. II.
• On the existence of a projective plane of order 10
• Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
• Building Bridges between Symbolic Computation and Satisfiability Checking
• Efficient SAT Solving under Assumptions
• The Non-Existence of Finite Projective Planes of Order 10
• DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
• Finite Projective Planes
• Configurations in a Plane of Order Ten
• The Search for a Finite Projective Plane of Order 10
• Every one a Winner or how to Avoid Isomorphism Search when Cataloguing Combinatorial Configurations
• The Nonexistence of Certain Finite Projective Planes
• The nonexistence of ovals in a projective plane of order 10

This page was built for publication: Nonexistence Certificates for Ovals in a Projective Plane of Order Ten