Paper Citation Record · LEDGER

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

As of 16 August 2026, this Paper Citation Record lists 18 of 18 outbound references and 1 inbound Pith citation observation for arXiv:2507.07951.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2507.07951 v1

Coverage vector

measured 18 of 18 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T18:33:00.905686Z

measured 19 of 19 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-03T11:07:49.160775Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

18 of 18 outbound references displayed

verified exact0
verified fuzzy15
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation bd70e0a3-1815-44bd-b3e7-28958d773750 · outbound

This paper cites chapter 5, page 126.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening chapter 5, page 126

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:04.298548Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation a3ab2022-bd7c-4a79-b404-879878dcd29a · outbound

This paper cites Kobon triangles.

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

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:04.049480Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 517dd084-ca66-4942-9a00-00ac5fac2934 · outbound

This paper cites On simple arrangements of lines and pseudo-lines in P2 and R2 with the maximum number of triangles.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening On simple arrangements of lines and pseudo-lines in P2 and R2 with the maximum number of triangles

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:03.844369Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation d6fd29ee-855f-4ade-b332-b4d016a1dacc · outbound

This paper cites arminbiere/kissat.

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

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:03.585518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 6a9857ae-8742-4b6f-acda-ec39c808ef66 · outbound

This paper cites Cl´ ement and J.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening Cl´ ement and J

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:03.368860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 288c877b-7a5f-47ef-ac0b-b04ce67589a9 · outbound

This paper cites Complete enumeration of small realizable oriented matroids.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening Complete enumeration of small realizable oriented matroids

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:03.169679Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation e4ab1576-4699-42cf-914f-4c8a1f2787d2 · outbound

This paper cites Harris, K.

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

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:02.965297Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation dce5d38a-28a5-4026-9cd9-a7829438af62 · outbound

This paper cites an unresolved cited work.

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

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T18:32:59.825527Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33c61ede-a472-4dc4-b284-6de405600a80 · outbound

This paper cites SAT-Based Generation of Planar Graphs.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening SAT-Based Generation of Planar Graphs

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:02.805437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 688e75d3-e16d-4b8c-be44-eca61e37db58 · outbound

This paper cites The On-Line Encyclopedia of Integer Sequences, 2025.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening The On-Line Encyclopedia of Integer Sequences, 2025

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-06T18:32:59.975128Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76094b3c-4977-4685-9161-b6026e39a524 · outbound

This paper cites The most general position.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening The most general position

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:02.642133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 51e1cd89-6929-424c-9b98-3feafadda85f · outbound

This paper cites NumPSLA: An experimental research tool for pseudoline arrangements and order types.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening NumPSLA: An experimental research tool for pseudoline arrangements and order types

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:02.449856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation b13c4c4f-e3c7-40b8-8c94-267749929edf · outbound

This paper cites NumPSLA -- An experimental research tool for pseudoline arrangements and order types.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening NumPSLA -- An experimental research tool for pseudoline arrangements and order types

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T18:33:00.257333Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f73bec5-33df-473e-b5ce-ad1d5fd4f87d · outbound

This paper cites Lineorder - a tool for finding straight line arrangements from pseudolines and generating svg visuals.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening Lineorder - a tool for finding straight line arrangements from pseudolines and generating svg visuals

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:02.212240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2e3b3c5f-147e-4a53-8a73-df5c592da3df · outbound

This paper cites Sat-based solver for the kobon triangle problem using kissat and lineorder.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening Sat-based solver for the kobon triangle problem using kissat and lineorder

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:02.034576Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 06e5eef1-4d8f-486c-abd7-30b5300bff86 · outbound

This paper cites Oliphant, Matt Haberland, Tyler Reddy, David Cournapeau, Evgeni Burovski, Pearu Peterson, Warren Weckesser, Jonathan Bright, St´ efan J.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening Oliphant, Matt Haberland, Tyler Reddy, David Cournapeau, Evgeni Burovski, Pearu Peterson, Warren Weckesser, Jonathan Bright, St´ efan J

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:01.806665Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 2c912cda-dac2-4595-bbd5-de5cb91b901c · outbound

This paper cites Weisstein.

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

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:01.554541Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Observation 36040dca-699c-4113-a9d5-7be56a6cb6b1 · outbound

This paper cites Kobon triangle problem — Wikipedia, the free encyclopedia.

Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening Kobon triangle problem — Wikipedia, the free encyclopedia

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:33:01.139898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.

Pith citing papers

Observation afbfedb3-1447-4271-ac1a-7d8a393a6d33 · inbound

Enumeration and Classification of Triangle-Maximal Pseudoline Arrangements cites this paper.

Enumeration and Classification of Triangle-Maximal Pseudoline Arrangements Constructing Optimal Kobon Triangle Arrangements via Table Encoding, SAT Solving, and Heuristic Straightening

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T11:07:49.160775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.