Copertina

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Savchuk, Pavlo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Combinatorics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Triangles in Colored Pseudoline Arrangements
di: Radtke, Yan Alves, et al.
Pubblicazione: (2026)

Arrangements of Pseudocircles: On Digons and Triangles
di: Felsner, Stefan, et al.
Pubblicazione: (2022)

Queen Domination by SAT Solving
di: Rostami, Taha, et al.
Pubblicazione: (2025)

On Optimal Point Sets Determining Distinct Triangles
di: Palsson, Eyvindur A., et al.
Pubblicazione: (2023)

Counting Triangles in Triangles
di: Propp, Jim, et al.
Pubblicazione: (2024)

Straightening laws for Chow rings of matroids
di: Larson, Matt
Pubblicazione: (2024)

Characteristic Polynomials of Deformations of Coxeter Arrangements via levels of regions
di: Zhang, Ningxin
Pubblicazione: (2024)

Novel Tour Construction Heuristic for Pick-Up and Delivery Routing Problems
di: Goutham, Mithun, et al.
Pubblicazione: (2024)

Triangle Percolation on the Grid
di: Araujo, Igor, et al.
Pubblicazione: (2023)

Ideal Decomposition of Hyperplane Arrangements
di: Chen, Yanru, et al.
Pubblicazione: (2025)

$k$-Adjoint of Hyperplane Arrangements
di: Liang, Weikang, et al.
Pubblicazione: (2024)

The Spectrum of Triangle-free Graphs
di: Balogh, József, et al.
Pubblicazione: (2022)

The Median of Sierpinski Triangle Graphs
di: Balakrishnan, Kannan, et al.
Pubblicazione: (2024)

Characterizing Nice Partition of Graphical Arrangements
di: Liang, Weikang, et al.
Pubblicazione: (2024)

Level of Faces for Exponential Sequence of Arrangements
di: Chen, Yanru, et al.
Pubblicazione: (2026)

Proving Norine's Conjecture holds for $n=7$ via SAT solvers
di: Frankston, Keith, et al.
Pubblicazione: (2024)

Enumerating Seating Arrangements that Obey Social Distancing
di: Spahn, George, et al.
Pubblicazione: (2024)

Triangle packings in randomly perturbed graphs
di: Cheng, Xinbu, et al.
Pubblicazione: (2026)

Triangle-free graphs with diameter 2
di: Devillers, Alice, et al.
Pubblicazione: (2024)

Triangle Ramsey numbers of complete graphs
di: Fox, Jacob, et al.
Pubblicazione: (2023)

Inhomogeneous random 2-SAT
di: Hladký, Jan, et al.
Pubblicazione: (2025)

Minimal Arrangements of Spherical Geodesics
di: Viglietta, Giovanni
Pubblicazione: (2023)

The dimer model and dynamical incidence geometry
di: Izosimov, Anton, et al.
Pubblicazione: (2025)

Triangles in graphs without the expansion of $4$-cycle
di: Song, Jialei, et al.
Pubblicazione: (2026)

Approval Ballot Triangles and Strict-Sense Ballots
di: Beveridge, Andrew, et al.
Pubblicazione: (2026)

10 Problems for Partitions of Triangle-free Graphs
di: Balogh, József, et al.
Pubblicazione: (2022)

Fine Mixed Subdivisions of a Dilated Triangle
di: Yao, Yuan, et al.
Pubblicazione: (2024)

Splitting Sandwiches Unevenly via Unique Sink Orientations and Rainbow Arrangements
di: Borzechowski, Michaela, et al.
Pubblicazione: (2026)

A Hierarchical Constructive Heuristic for Large-Scale Survivable Traffic Grooming Problem under Double-Link Failures
di: Zhang, Silong, et al.
Pubblicazione: (2025)

An Efficient Algorithm for Vertex Enumeration of Arrangement
di: Dong, Zelin, et al.
Pubblicazione: (2024)

Differential Equations for Moving Hyperplane Arrangements
di: Pfister, Anaëlle, et al.
Pubblicazione: (2024)

Constructing strong starters of orders $3p$: triplication with SAT solver
di: Ogandzhanyants, Oleg, et al.
Pubblicazione: (2025)

New Bounds on the Anti-Ramsey Number of Independent Triangles
di: Lu, Hongliang, et al.
Pubblicazione: (2025)

Triangle-free Graphs with Large Minimum Common Degree
di: Wang, Jian, et al.
Pubblicazione: (2024)

Books versus Triangles near the n/6 Threshold
di: Chen, Kaizhe, et al.
Pubblicazione: (2026)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
di: Jha, Piyush, et al.
Pubblicazione: (2024)

Improved Lower Bound on the Number of Pseudoline Arrangements
di: Dallant, Justin
Pubblicazione: (2024)

From the Finite to the Infinite: Sharper Asymptotic Bounds on Norin's Conjecture via SAT
di: Kirchweger, Markus, et al.
Pubblicazione: (2025)

Using Reasoning Models to Generate Search Heuristics that Solve Open Instances of Combinatorial Design Problems
di: Rosin, Christopher D.
Pubblicazione: (2025)

Uniqueness of Optimal Point Sets Determining Two Distinct Triangles
di: Brenner, Hazel N., et al.
Pubblicazione: (2019)