Automated mathematical discovery and verification: minimizing pentagons in the plane
type: Item
instance of: scholarly article
title: Automated mathematical discovery and verification: minimizing pentagons in the plane
DOI: 10.1007/978-3-031-66997-2_2
author: Bernardo Subercaseaux
author: John Mackey
author: Marijn J. H. Heule
author: Ruben Martins
publication date: 2024-12-04T00:00:00Z
Mathematics Subject Classification ID: 68Vxx
zbMATH DE Number: 7953756
zbMATH Keywords: MaxSAT
zbMATH Keywords: convex pentagons
zbMATH Keywords: computational geometry
MaRDI profile type: Publication
cites work: The Rectilinear Crossing Number of K n : Closing in (or Are We?)
cites work: Enumerating order types for small sets with applications
cites work: An Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing Constants
cites work: On \(k\)-gons and \(k\)-holes in point sets
cites work: On 5-Gons and 5-Holes
cites work: Mathematics and the formal turn
cites work: Q5148371
cites work: Certified Core-Guided MaxSAT Solving
cites work: Oriented Matroids
cites work: The rectilinear crossing number of \(K_{10}\) is 62
cites work: Improved Static Symmetry Breaking for SAT
cites work: Crossing Number Problems
cites work: Sweeps, arrangements and signotopes
cites work: Lower bounds on the number of crossing-free subgraphs of \(K_N\)
cites work: Limits of Order Types
cites work: Certified CNF translations for pseudo-Boolean solving
cites work: The Four Colour Theorem: Engineering of a Formal Proof
cites work: Q3997075
cites work: Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
cites work: Neighbourhood Clause Weight Redistribution in Local Search for SAT
cites work: Axioms and hulls
cites work: CDCLSym: introducing effective symmetry breaking in SAT solving
cites work: The Erdos-Szekeres problem on points in convex position – a survey
cites work: The Rectilinear Crossing Number of a Complete Graph and Sylvester's "Four Point Problem" of Geometric Probability
cites work: Two disjoint 5-holes in point sets
cites work: Q6179339
cites work: Q6114367
cites work: Computer solution to the 17-point Erdős-Szekeres problem
cites work: Theory and Applications of Satisfiability Testing
cites work: Logic programming and nonmonotonic reasoning. 16th international conference, LPNMR 2022, Genova, Italy, September 5--9, 2022. Proceedings
description: scientific article; zbMATH DE number 7953756