Buchumschlag

Formal Verification of the Empty Hexagon Number

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Subercaseaux, Bernardo, Nawrocki, Wojciech, Gallicchio, James, Codel, Cayden, Carneiro, Mario, Heule, Marijn J. H.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Computational Geometry Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Happy Ending: An Empty Hexagon in Every Set of 30 Points
von: Heule, Marijn J. H., et al.
Veröffentlicht: (2024)

Orbitopal Fixing in SAT
von: Anders, Markus, et al.
Veröffentlicht: (2026)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
von: Bryant, Randal E., et al.
Veröffentlicht: (2025)

Automated Reencoding Meets Graph Theory
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2026)

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2023)

Unfolding Boxes with Local Constraints
von: Qian, Long, et al.
Veröffentlicht: (2025)

Automated Symmetric Constructions in Discrete Geometry
von: Subercaseaux, Bernardo, et al.
Veröffentlicht: (2025)

Near-Optimal Encodings of Cardinality Constraints
von: Krapivin, Andrew, et al.
Veröffentlicht: (2026)

Asymptotically Smaller Encodings for Graph Problems and Scheduling
von: Subercaseaux, Bernardo
Veröffentlicht: (2025)

PackIt! Gamified Rectangle Packing
von: Garrison, Thomas, et al.
Veröffentlicht: (2024)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
von: Huang, Yihe, et al.
Veröffentlicht: (2026)

Formal Verification of Isothermal Chemical Reactors
von: Feyzishendi, Parivash, et al.
Veröffentlicht: (2025)

Formalization of Amicable Numbers Theory
von: Chen, Zhipeng, et al.
Veröffentlicht: (2026)

Tao's Equational Proof Challenge Accepted (Technical Report)
von: Kondylidou, Lydia, et al.
Veröffentlicht: (2026)

Formal Verification of Parameterized Systems based on Induction
von: Xiu, Jiaqi, et al.
Veröffentlicht: (2025)

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
von: Kurpiewski, Damian, et al.
Veröffentlicht: (2025)

Formal Verification of the Sumcheck Protocol
von: Bosshard, Azucena Garvía, et al.
Veröffentlicht: (2024)

Formal Verification of the Safegcd Implementation
von: O'Connor, Russell, et al.
Veröffentlicht: (2025)

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
von: Yang, Ziyi, et al.
Veröffentlicht: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Bacci, Giorgio, et al.
Veröffentlicht: (2025)

Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
von: Hulak, David B., et al.
Veröffentlicht: (2026)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
von: Brough, Jackson
Veröffentlicht: (2026)

k-Planar and Fan-Crossing Drawings and Transductions of Embeddable Graphs
von: Hliněný, Petr, et al.
Veröffentlicht: (2025)

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
von: Coglio, Alessandro, et al.
Veröffentlicht: (2025)

Progress in Formalizing Sphere Packing in Dimension 8
von: Hariharan, Sidharth, et al.
Veröffentlicht: (2026)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
von: Pąk, Karol, et al.
Veröffentlicht: (2024)

Pseudo-Formalization for Automatic Proof Verification
von: Barkallah, Slim, et al.
Veröffentlicht: (2026)

A Uniform Language to Explain Decision Trees
von: Arenas, Marcelo, et al.
Veröffentlicht: (2023)

Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
von: Meijer, Lucas, et al.
Veröffentlicht: (2025)

Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Integer Linear Arithmetic
von: Gokaj, Geri, et al.
Veröffentlicht: (2025)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
von: Karimov, Toghrul
Veröffentlicht: (2024)

{log}: From a Constraint Logic Programming Language to a Formal Verification Tool
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2025)

Synthetic Differential Geometry in Lean
von: Brasca, Riccardo, et al.
Veröffentlicht: (2026)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
von: Altuntas, Alper, et al.
Veröffentlicht: (2025)

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
von: Choton, Jahid Chowdhury, et al.
Veröffentlicht: (2024)

Extracting Linear Relations from Gröbner Bases for Formal Verification of And-Inverter Graphs
von: Kaufmann, Daniela, et al.
Veröffentlicht: (2024)

Practical Deductive Verification of OCaml Programs (Extended Version)
von: Pereira, Mário
Veröffentlicht: (2024)

Flipping and Forking
von: Przybyszewski, Wojciech, et al.
Veröffentlicht: (2025)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
von: Konečný, Michal, et al.
Veröffentlicht: (2024)