{"as_of":"2026-08-20T08:30:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:857b56c7e1ab2a006b0cda3a79068f70048866df970d1b7849431a1108eeee08","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:54:41.385683Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T16:05:14.059558Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-07-01T21:56:15.536306Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"cited_work":{"arxiv_id":"2506.14713","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.14713","snapshot_observed_at":"2026-07-01T21:56:15.536306Z","title":"arXiv preprint arXiv:2506.14713 , year=","venue":null,"work_id":"8210acf5-e283-4f97-a46b-593a78c63477","year":null},"citing_paper":{"arxiv_id":"2606.01147","last_updated":"2026-05-31T10:32:24Z","snapshot_observed_at":"2026-08-04T06:06:28.634155Z","submitted_at":"2026-05-31T10:32:24Z","title":"On Fr\\'echet Traveling Salesmen Problems","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-06-28T16:05:14.059558Z"},"links":{"cited_paper":"/paper/2506.14713","citing_paper":"/paper/2606.01147"},"observation_digest":"sha256:f8f91bfb871dbdc3514d14fd7a36187bb06455ddbc820c38f5750f57d5024eff","observation_id":"eec7d926-2263-4ee5-8564-23a3947b249d","resolution":{"observed_at":"2026-07-01T21:56:15.538029Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.14713/citation-record","integrity":"/paper/2506.14713/integrity","json":"/paper/2506.14713/citation-record.json","paper":"/paper/2506.14713"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.368375Z","title":null,"venue":null,"work_id":"5b5a6f96-d42b-405d-8f7b-6aba8c403f9a","year":2002},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.225604Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:3520e5feae4ef5be57ce24b313f1c8276134974d4594808770cb659231474c27","observation_id":"cdbdeac2-e197-4c14-9ea5-4fc69d172b85","resolution":{"observed_at":"2026-08-15T19:54:42.373753Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.350321Z","title":"Lichtenstein, Planar formulae and their uses, SIAM journal on computing 11 (2) (1982) 329–343","venue":null,"work_id":"31662f48-f359-4a70-bab6-3ef3ba2d5e91","year":1982},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.231021Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:07ad0e01012ef5000f218ca8de5e012a018d2d59ffaee323cb217c4681adb65e","observation_id":"00fee0b4-8341-4648-827f-ddbb8d158a21","resolution":{"observed_at":"2026-08-15T19:54:42.356180Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.330995Z","title":null,"venue":null,"work_id":"38def589-1438-407b-94fd-b668155f42f8","year":1986},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.235683Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:020bfec2d66311c849d8f7fe70c73b8339dde6618fffc5a415675d811ad716f2","observation_id":"0dee68d9-4d3e-4672-a7af-52b96cd640a4","resolution":{"observed_at":"2026-08-15T19:54:42.337715Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.311135Z","title":"Mahajan, P","venue":null,"work_id":"4ae49bac-cf54-4c46-b263-38c4c27e3d77","year":2012},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.240774Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:5a9a38347c367a43374c2e8c8cf5537111f77ca42078ac6029c91c1a0ef9f4b8","observation_id":"2b054b64-aeda-41c6-8a84-250b5ef0b696","resolution":{"observed_at":"2026-08-15T19:54:42.316671Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.289255Z","title":null,"venue":null,"work_id":"1b32518a-af28-46f9-8831-59c136705f7e","year":2005},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.246341Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:52c513713aa5dfb0c4c77a7e0caeb288763e8eac02a88fca0333380df9976a98","observation_id":"f4e592ce-4734-4063-9cd5-85f6216c9b88","resolution":{"observed_at":"2026-08-15T19:54:42.297589Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.268648Z","title":"Yu, Intractability of optimal multirobot path planning on planar graphs, IEEE Robotics and Automation Letters 1 (1) (2015) 33–40","venue":null,"work_id":"03a84716-2f32-4026-9cf7-e636a80013af","year":2015},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.251736Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:3f6b2f6661449790475d5279a9fb5b67db73dffef02f8b7ef6b2cbe9bcdda770","observation_id":"a559db3b-b268-4cdd-82a9-efbb9b84c491","resolution":{"observed_at":"2026-08-15T19:54:42.275857Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.08331","last_updated":"2020-05-07T18:49:14Z","snapshot_observed_at":"2026-08-15T23:19:44.619270Z","submitted_at":"2020-03-18T16:54:28Z","title":"Tatamibari is NP-complete","version":2},"cited_work":{"arxiv_id":"2003.08331","doi":null,"metadata_source":"pith","pith_arxiv_id":"2003.08331","snapshot_observed_at":"2026-08-15T19:54:41.754742Z","title":"Tatamibari is NP-complete","venue":"cs.CC","work_id":"c39f049f-dc68-46fd-a982-684be10c3106","year":2020},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.256790Z"},"links":{"cited_paper":"/paper/2003.08331","citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:1f8db8f590453b9ab203e59b30feb145380765a04cb309e83c729969f17684d1","observation_id":"85922266-9504-4068-97d9-acd54f52efe9","resolution":{"observed_at":"2026-08-15T19:54:41.761114Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.245665Z","title":"Allen, A","venue":null,"work_id":"d04f520f-a0e4-4da5-9822-be43bbf4abb7","year":2018},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.261456Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:c555e9b629aa0cf844a315c028059c2cb6f207877a429e20c3bebbb668e4e1b1","observation_id":"e399da4b-c862-430e-8997-516fcf285930","resolution":{"observed_at":"2026-08-15T19:54:42.252925Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.226114Z","title":null,"venue":null,"work_id":"59002488-8fb4-4ccf-b11d-3dc78c38060d","year":2018},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.265819Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:b10c265f10b367a29b0318b389e6fc85597213519a03bceb4c686e04ada327ca","observation_id":"5fcdf37d-c2c2-48d3-b1b6-180da9789280","resolution":{"observed_at":"2026-08-15T19:54:42.231765Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.203769Z","title":"Simon, Algorithmic study of 2-interval graphs, Ph.D","venue":null,"work_id":"20889782-68a4-4284-b56e-482fd2dcbb8a","year":2021},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.270126Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:2cc13e012223eff8881462c6b34a3f945429d8204c0e7c293ef1b33e9a93853e","observation_id":"b73812ed-3a18-42f0-996d-5e497160ed16","resolution":{"observed_at":"2026-08-15T19:54:42.211540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.182440Z","title":"Gupta, M","venue":null,"work_id":"bc1fd705-092f-4a67-8c3a-0e73d5c4987d","year":2024},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.275132Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:c83c74510d1cdd86553c8df0859c25f3d2667cfdf20a1123034ef7de6dcf46f0","observation_id":"0beae308-8147-4069-a564-28cc1381b92c","resolution":{"observed_at":"2026-08-15T19:54:42.189512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.161108Z","title":null,"venue":null,"work_id":"cd3e1edf-106a-4e4c-8aa4-b7eca5315d74","year":2024},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.279709Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:1b20b20d99dc4aac0e85416791e5d8aabb2fcde61ec576a9059460760e4231dd","observation_id":"1f0213d0-e3cb-419e-aa7f-df8b41c41948","resolution":{"observed_at":"2026-08-15T19:54:42.167910Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.128619Z","title":"Cardinal, E","venue":null,"work_id":"64d0b849-feac-46b3-be5b-bd1db4c67c76","year":2020},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.284462Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:dc3c73b7c922f32cfc159c4e3a6a1d30d08d40df8e4e93885092f861fac3a98f","observation_id":"fff68ff7-d70d-4edd-a746-96097e0938a8","resolution":{"observed_at":"2026-08-15T19:54:42.139076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.101200Z","title":null,"venue":null,"work_id":"5c008c81-0822-47d4-834e-4906bf38bfd1","year":2011},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.288989Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:46f79a112f0a699bcb548675fbcd46bf474c4f157eac5420f736a495d66961d0","observation_id":"15570cfe-1855-4de6-8fa8-2002a097bc0c","resolution":{"observed_at":"2026-08-15T19:54:42.109393Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.077231Z","title":"Calviac, O","venue":null,"work_id":"75f34543-f319-4c3c-b78c-8bfd2238a4b9","year":2023},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.293379Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:b9c99ff5afa038b4c8b7dc1f7cf2640c4c0ec944977b3a25bb19d87ed9d17e0b","observation_id":"f3cae79b-c0fe-415d-9036-aac4e5405d3c","resolution":{"observed_at":"2026-08-15T19:54:42.083940Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.053762Z","title":"de Berg, A","venue":null,"work_id":"763360c8-a635-49d9-9c3b-a9fe2022f277","year":2010},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.297536Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:110037dbc876a0031a9b4bbafcf50c790a48eba6c0d7465bdd18863d9dadfe93","observation_id":"4d371c86-f55d-4cdb-839a-b0df71156f83","resolution":{"observed_at":"2026-08-15T19:54:42.061477Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.030912Z","title":null,"venue":null,"work_id":"af670adc-4af5-4105-b66d-34643de5e047","year":2009},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.302247Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:ced38f356e7cd9f4ba20922b49314d40bfb09bdb09a2b2edf27cdc631123f60b","observation_id":"cf5962a7-266e-4b7a-a38d-ac35d562d034","resolution":{"observed_at":"2026-08-15T19:54:42.037701Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:42.012466Z","title":"Li, Efficient and effective techniques for large-scale multi-agent path finding, Ph.D","venue":null,"work_id":"563f7e80-9c05-490a-9fd0-7b54914b556b","year":2022},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.306725Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:f1d7ff18fedc160bfa727fd193b2269a662f7242a348f04c71634ba31b5f8682","observation_id":"74af0232-4645-4a5f-8453-1e79a0ddf5ae","resolution":{"observed_at":"2026-08-15T19:54:42.018464Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.980226Z","title":"Tateo, J","venue":null,"work_id":"d8ac809c-a1ca-44c8-9183-fe3dd12973fe","year":2018},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.311203Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:1f4a4cd4592dcd3d32b258603ca42d9df00d31e36d464cd702214763d9dc5989","observation_id":"5cfc9804-eb83-4b7a-a5ce-7cbfefee70af","resolution":{"observed_at":"2026-08-15T19:54:41.995100Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.960565Z","title":"Kuratowski, Sur le probleme des courbes gauches en topologie, Fundamenta mathematicae 15 (1) (1930) 271–283","venue":null,"work_id":"534d4842-fb36-4016-adce-dde9addb38e5","year":1930},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.315700Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:96a99233aa8918c9ad65e4eaa499b12e536a490031c6b80c0038920fbb8d3c5b","observation_id":"3191fd3b-2aab-4b1e-a244-0c7139aec7f0","resolution":{"observed_at":"2026-08-15T19:54:41.966745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.320543Z","title":"Hopcroft, R","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.320543Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:e4727053a0c5dd5abcdc9c8032a226a93648da118a2dcd1982edce98bd258ddc","observation_id":"56201e85-2be0-44a0-b0d8-bc40d217b807","resolution":{"observed_at":"2026-08-15T19:54:41.320543Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.925783Z","title":"Wigderson, The complexity of the hamiltonian circuit problem for maximal planar graphs, EECS Department Report 298 (1982)","venue":null,"work_id":"e930882e-7809-43b0-a212-5a2fe3edc7ac","year":1982},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.325270Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:7b808c499d36c2c2cb16ec6ca009aa159e84c346de29db33f7d8553702bc3290","observation_id":"3952bbc4-4777-49aa-995d-f2e21ae6316b","resolution":{"observed_at":"2026-08-15T19:54:41.933154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2012.21901","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.718355Z","title":null,"venue":null,"work_id":"1cee631c-558b-445e-b71f-48911bd82ab6","year":2012},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.330473Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:4e0adaf15650550d2cff3584a009585abc49d61c3de6252f453f359cbbdd77a4","observation_id":"e6fa1ba9-00d4-4869-9e96-3cbe36a37210","resolution":{"observed_at":"2026-08-15T19:54:41.726970Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.335151Z","title":"Charrier, A","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.335151Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:fecfa6779c7cec603d03f185fc214bcba2ac126946196f15cde5b1a6e85434b2","observation_id":"e35f7505-f3db-4bf6-aefa-98db3756029d","resolution":{"observed_at":"2026-08-15T19:54:41.335151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.907815Z","title":"Schnyder, Embedding planar graphs on the grid, in: Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms, 1990, pp","venue":null,"work_id":"19b45c9a-9e30-4889-a96d-f92fc4fc5279","year":1990},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.340076Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:9905cff6b76c1617652f6269634fa8a3b901afad4088072f310e1b8e98cbe06b","observation_id":"99f92ce4-ec5f-4796-9cd5-8791755e0143","resolution":{"observed_at":"2026-08-15T19:54:41.913420Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.885747Z","title":"Brazil, R","venue":null,"work_id":"f8211a8f-856f-4966-a819-ea6c5caede8d","year":2014},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.344361Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:a1cee0ab3e90a288e7c63c1e1dc6c47f565e8e2fa67d1ee1aef8c8ce162cd852","observation_id":"497c1053-a556-4cf4-9620-0598e357ee07","resolution":{"observed_at":"2026-08-15T19:54:41.893103Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.867812Z","title":null,"venue":null,"work_id":"fa2b65e7-3ddd-416f-96cf-d8a253c9a00f","year":2009},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.349209Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:801d1af2c443a6a58274fa45405911d91a15f20a9e625e679a3ae964c9c3dd84","observation_id":"b20d2e81-7f7c-40a8-8b63-e718beff19b7","resolution":{"observed_at":"2026-08-15T19:54:41.872961Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2025.35265","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.623739Z","title":null,"venue":null,"work_id":"cff62669-1c51-46d7-84dd-b32858246156","year":2025},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.354459Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:2b9b6b1d8b77900b314e2bdf9091f73c2c9c271f46145416ae030fab2b4d838d","observation_id":"bec63c09-a5e2-409d-8f7d-f2d0a50aa098","resolution":{"observed_at":"2026-08-15T19:54:41.636506Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1613/jair.1.11864","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.433486Z","title":"Gupta, G","venue":null,"work_id":"c22483f1-b224-4a83-bfca-1ca25274bdee","year":2020},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.359749Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:fe3d470d98f8b01bb663955fa0f051e9df795877dca3d01d324a0d4fa9e17bda","observation_id":"8f279b37-c57a-44a3-928f-ea5da681ea30","resolution":{"observed_at":"2026-08-15T19:54:41.443871Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.851192Z","title":"Harary, Graph theory (on Demand Printing of 02787), CRC Press, 2018","venue":null,"work_id":"564fb49a-e99d-4281-b20e-d66ba90ce606","year":2018},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.364382Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:9f83c8d7c1a78ac6775dd71e215dda56008dc8978000eb563692ddf59b83e5ce","observation_id":"7d34c52d-dc72-4b88-af4d-94411e3c4701","resolution":{"observed_at":"2026-08-15T19:54:41.856606Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.832721Z","title":null,"venue":null,"work_id":"1ff7dd19-1054-4e0a-968a-c6c165351b8c","year":2011},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.369668Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:901ef6665b48744ad270e433c3b40eb2a191ba11f4bd3c7bb64ae42be4380be3","observation_id":"f829dfde-5869-4a6a-b0c2-46cb9676e0e4","resolution":{"observed_at":"2026-08-15T19:54:41.838966Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.808569Z","title":"Tamassia, A dynamic data structure for planar graph embedding, in: In- ternational Colloquium on Automata, Languages, and Programming, Springer, 1988, pp","venue":null,"work_id":"5d45eebb-84d0-4a56-b555-1fff8f480628","year":1988},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.374282Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:e565384157de3d9d62cc11834e7df626d46b2cdef6ca6d8197a71343c5237ba9","observation_id":"0a5e41e3-a75a-44ff-80f5-3fec2e702121","resolution":{"observed_at":"2026-08-15T19:54:41.815898Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.790193Z","title":null,"venue":null,"work_id":"d2dcbbe5-6322-428b-b6ac-26e77942adb8","year":1978},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.379778Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:815f6a5b18eebd2f17a38138946adc1cee54e84d75a0379a62ea080f5456529b","observation_id":"f524545c-60dc-4ed1-b521-160c10eb5691","resolution":{"observed_at":"2026-08-15T19:54:41.795822Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:54:41.773138Z","title":null,"venue":null,"work_id":"5e394866-4c5e-4fc7-ba50-1944b264c86c","year":2001},"citing_paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T19:54:41.385683Z"},"links":{"citing_paper":"/paper/2506.14713"},"observation_digest":"sha256:7d1dc2860a058df31b57c676b21073c490b946997c86f42287f3c40eed392f77","observation_id":"29877114-e553-45eb-8f59-a8e5dc75a86a","resolution":{"observed_at":"2026-08-15T19:54:41.778092Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.14713","last_updated":"2025-06-17T16:51:03Z","latest_version":1,"primary_category":"cs.CC","snapshot_observed_at":"2026-08-15T19:45:34.091885Z","submitted_at":"2025-06-17T16:51:03Z","title":"Linear Planar 3-SAT and Its Applications in Planning"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":1,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":12,"verified_exact":2,"verified_fuzzy":17},"total_outbound_references":34},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"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."}