Paper Citation Record · LEDGER

Linear Planar 3-SAT and Its Applications in Planning

As of 20 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 1 inbound Pith citation observation for arXiv:2506.14713.

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

pith.paper-citation-record.v1
2506.14713 v1

Coverage vector

measured 34 of 34 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T19:54:41.385683Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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-06-28T16:05:14.059558Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-01T21:56:15.536306Z

Reference resolution

34 of 34 outbound references displayed

verified exact2
verified fuzzy17
unresolved12
parse uncertain0
malformed identifier1
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cdbdeac2-e197-4c14-9ea5-4fc69d172b85 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:42.373753Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 00fee0b4-8341-4648-827f-ddbb8d158a21 · outbound

This paper cites Lichtenstein, Planar formulae and their uses, SIAM journal on computing 11 (2) (1982) 329–343.

Linear Planar 3-SAT and Its Applications in Planning Lichtenstein, Planar formulae and their uses, SIAM journal on computing 11 (2) (1982) 329–343

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.356180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0dee68d9-4d3e-4672-a7af-52b96cd640a4 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:42.337715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2b054b64-aeda-41c6-8a84-250b5ef0b696 · outbound

This paper cites Mahajan, P.

Linear Planar 3-SAT and Its Applications in Planning Mahajan, P

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.316671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f4e592ce-4734-4063-9cd5-85f6216c9b88 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:42.297589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation a559db3b-b268-4cdd-82a9-efbb9b84c491 · outbound

This paper cites Yu, Intractability of optimal multirobot path planning on planar graphs, IEEE Robotics and Automation Letters 1 (1) (2015) 33–40.

Linear Planar 3-SAT and Its Applications in Planning Yu, Intractability of optimal multirobot path planning on planar graphs, IEEE Robotics and Automation Letters 1 (1) (2015) 33–40

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.275857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 85922266-9504-4068-97d9-acd54f52efe9 · outbound

This paper cites Tatamibari is NP-complete.

Linear Planar 3-SAT and Its Applications in Planning Tatamibari is NP-complete

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-08-15T19:54:41.761114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e399da4b-c862-430e-8997-516fcf285930 · outbound

This paper cites Allen, A.

Linear Planar 3-SAT and Its Applications in Planning Allen, A

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.252925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5fcdf37d-c2c2-48d3-b1b6-180da9789280 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:42.231765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b73812ed-3a18-42f0-996d-5e497160ed16 · outbound

This paper cites Simon, Algorithmic study of 2-interval graphs, Ph.D.

Linear Planar 3-SAT and Its Applications in Planning Simon, Algorithmic study of 2-interval graphs, Ph.D

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.211540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0beae308-8147-4069-a564-28cc1381b92c · outbound

This paper cites Gupta, M.

Linear Planar 3-SAT and Its Applications in Planning Gupta, M

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.189512Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 1f0213d0-e3cb-419e-aa7f-df8b41c41948 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:42.167910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation fff68ff7-d70d-4edd-a746-96097e0938a8 · outbound

This paper cites Cardinal, E.

Linear Planar 3-SAT and Its Applications in Planning Cardinal, E

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.139076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 15570cfe-1855-4de6-8fa8-2002a097bc0c · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:42.109393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f3cae79b-c0fe-415d-9036-aac4e5405d3c · outbound

This paper cites Calviac, O.

Linear Planar 3-SAT and Its Applications in Planning Calviac, O

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.083940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 4d371c86-f55d-4cdb-839a-b0df71156f83 · outbound

This paper cites de Berg, A.

Linear Planar 3-SAT and Its Applications in Planning de Berg, A

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.061477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cf5962a7-266e-4b7a-a38d-ac35d562d034 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:42.037701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 74af0232-4645-4a5f-8453-1e79a0ddf5ae · outbound

This paper cites Li, Efficient and effective techniques for large-scale multi-agent path finding, Ph.D.

Linear Planar 3-SAT and Its Applications in Planning Li, Efficient and effective techniques for large-scale multi-agent path finding, Ph.D

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:42.018464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5cfc9804-eb83-4b7a-a5ce-7cbfefee70af · outbound

This paper cites Tateo, J.

Linear Planar 3-SAT and Its Applications in Planning Tateo, J

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:41.995100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3191fd3b-2aab-4b1e-a244-0c7139aec7f0 · outbound

This paper cites Kuratowski, Sur le probleme des courbes gauches en topologie, Fundamenta mathematicae 15 (1) (1930) 271–283.

Linear Planar 3-SAT and Its Applications in Planning Kuratowski, Sur le probleme des courbes gauches en topologie, Fundamenta mathematicae 15 (1) (1930) 271–283

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:41.966745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 56201e85-2be0-44a0-b0d8-bc40d217b807 · outbound

This paper cites Hopcroft, R.

Linear Planar 3-SAT and Its Applications in Planning Hopcroft, R

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T19:54:41.320543Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3952bbc4-4777-49aa-995d-f2e21ae6316b · outbound

This paper cites Wigderson, The complexity of the hamiltonian circuit problem for maximal planar graphs, EECS Department Report 298 (1982).

Linear Planar 3-SAT and Its Applications in Planning Wigderson, The complexity of the hamiltonian circuit problem for maximal planar graphs, EECS Department Report 298 (1982)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:41.933154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e6fa1ba9-00d4-4869-9e96-3cbe36a37210 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 23

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T19:54:41.726970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e35f7505-f3db-4bf6-aefa-98db3756029d · outbound

This paper cites Charrier, A.

Linear Planar 3-SAT and Its Applications in Planning Charrier, A

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-15T19:54:41.335151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99f92ce4-ec5f-4796-9cd5-8791755e0143 · outbound

This paper cites Schnyder, Embedding planar graphs on the grid, in: Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms, 1990, pp.

Linear Planar 3-SAT and Its Applications in Planning Schnyder, Embedding planar graphs on the grid, in: Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms, 1990, pp

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:41.913420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 497c1053-a556-4cf4-9620-0598e357ee07 · outbound

This paper cites Brazil, R.

Linear Planar 3-SAT and Its Applications in Planning Brazil, R

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:41.893103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b20d2e81-7f7c-40a8-8b63-e718beff19b7 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:41.872961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation bec63c09-a5e2-409d-8f7d-f2d0a50aa098 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 28

Resolution: metadata mismatch; raw_fallback, observed 2026-08-15T19:54:41.636506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 8f279b37-c57a-44a3-928f-ea5da681ea30 · outbound

This paper cites Gupta, G.

Linear Planar 3-SAT and Its Applications in Planning Gupta, G

Reference 29

Resolution: verified exact; doi, observed 2026-08-15T19:54:41.443871Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7d34c52d-dc72-4b88-af4d-94411e3c4701 · outbound

This paper cites Harary, Graph theory (on Demand Printing of 02787), CRC Press, 2018.

Linear Planar 3-SAT and Its Applications in Planning Harary, Graph theory (on Demand Printing of 02787), CRC Press, 2018

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:41.856606Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f829dfde-5869-4a6a-b0c2-46cb9676e0e4 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:41.838966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0a5e41e3-a75a-44ff-80f5-3fec2e702121 · outbound

This paper cites Tamassia, A dynamic data structure for planar graph embedding, in: In- ternational Colloquium on Automata, Languages, and Programming, Springer, 1988, pp.

Linear Planar 3-SAT and Its Applications in Planning Tamassia, A dynamic data structure for planar graph embedding, in: In- ternational Colloquium on Automata, Languages, and Programming, Springer, 1988, pp

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T19:54:41.815898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f524545c-60dc-4ed1-b521-160c10eb5691 · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-15T19:54:41.795822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 29877114-e553-45eb-8f59-a8e5dc75a86a · outbound

This paper cites an unresolved cited work.

Linear Planar 3-SAT and Its Applications in Planning Unresolved cited work

Reference 34

Resolution: malformed identifier; raw_fallback, observed 2026-08-15T19:54:41.778092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

Observation eec7d926-2263-4ee5-8564-23a3947b249d · inbound

On Fr\'echet Traveling Salesmen Problems cites this paper.

On Fr\'echet Traveling Salesmen Problems Linear Planar 3-SAT and Its Applications in Planning

Reference 49

Resolution: verified exact; arxiv_id, observed 2026-07-01T21:56:15.538029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.