{"as_of":"2026-08-14T12:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:30e40f0e891aa518837d91ebc2aa263734de6638bf4ee5be3ffebccff6ddfeb4","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T16:22:30.966400Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2412.10289/citation-record","integrity":"/paper/2412.10289/integrity","json":"/paper/2412.10289/citation-record.json","paper":"/paper/2412.10289"},"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-11T16:22:33.891651Z","title":"Arthur, Paul Merolla, Nabil Imam, Yutaka Y","venue":null,"work_id":"a7b5701e-71b0-4134-8546-45a71b1ad66a","year":null},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.432180Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:e2993f7014e4ecbf38719ff86f80ebd0938c192de3e679d32e65f09bb17ee481","observation_id":"dc5c43ca-31d0-4235-b62e-8a15652d6fc2","resolution":{"observed_at":"2026-08-11T16:22:33.897792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.447709Z","title":"Quantum Optimization Algo- rithm for LEO Satellite Communications Based on Cell-Free Massive MIM O","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.447709Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:addacf6727ae667ae39bd1b8b1f9525a541e0f683ac98965e15b09ae19486362","observation_id":"d6396b47-5290-4b6e-9d36-5e7a8f3d7f22","resolution":{"observed_at":"2026-08-11T16:22:30.447709Z","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":"2017.79663","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:33.345444Z","title":"Zahangir Alom, Brian Van Essen, Adam T","venue":null,"work_id":"91941f7e-2beb-4224-8fd8-51a456157549","year":2017},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.458522Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:b59668daf9e2af0e555b902506e69f9ad86f46bada8a2bb2b5f66a9d6208f221","observation_id":"b090677a-0819-4691-988a-de9379d47b30","resolution":{"observed_at":"2026-08-11T16:22:33.358581Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:33.864106Z","title":"Satellite Adaptive Onboard Beamforming Using Neuromorphic Processors","venue":null,"work_id":"0f716c61-f724-4417-8ba3-e5249bbaa791","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.464991Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:d27405a4ff517d7a883b081d6d0416edfbb12819364510359070137685eb15ab","observation_id":"1aeb448e-6367-401b-972b-17d612124383","resolution":{"observed_at":"2026-08-11T16:22:33.873514Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/ijcai.2021/189","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:32.045227Z","title":"Reducing SAT to Max2SAT","venue":null,"work_id":"88323975-ddd0-460a-a384-eb446121ccfc","year":2021},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.471710Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:b701b98c4fb7d332206a1fc3562ac8a89eb791d4a50acd06bdd56073a36d91b2","observation_id":"d31080d3-96c2-45b1-b2df-a55c4337cf3b","resolution":{"observed_at":"2026-08-11T16:22:32.051852Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2403.00182","last_updated":"2024-05-13T16:49:42Z","snapshot_observed_at":"2026-08-13T12:33:19.050940Z","submitted_at":"2024-02-29T23:18:45Z","title":"SAT, Gadgets, Max2XOR, and Quantum Annealers","version":2},"cited_work":{"arxiv_id":"2403.00182","doi":"10.48550/arxiv.2403.00182","metadata_source":"pith","pith_arxiv_id":"2403.00182","snapshot_observed_at":"2026-08-11T18:16:15.004306Z","title":"SAT, Gadgets, Max2XOR, and Quantum Annealers","venue":"quant-ph","work_id":"6cb8dba8-ee13-45dc-b513-6945ac85f8b3","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.482101Z"},"links":{"cited_paper":"/paper/2403.00182","citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:6f7619b95ac3916eb7cbc9b7fde17045a95d0348d99566104da16bc8d61be5a2","observation_id":"ee8daa4f-265e-4cee-87b8-1d0cb03832bd","resolution":{"observed_at":"2026-08-11T16:22:32.024338Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-60698-4_1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Structure-Guided Cube-and -Conquer for MaxSAT","venue":"Lecture notes in computer science","work_id":"eb00263b-fe00-4752-965e-04c72f5a991e","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.490463Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:54c63884c11ba82b17854050282b6ebb89aff08537ea01465dbb1f94bd95e490","observation_id":"ec5b79ba-c548-4b04-949f-0197b7424586","resolution":{"observed_at":"2026-08-11T16:22:31.983321Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-66167-4_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Chudak, William G","venue":"Lecture notes in computer science","work_id":"b84f5708-ec27-4518-ad70-eef8bc653dcb","year":2017},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.505608Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:371c354be17864b79431cfa316baffa732bae667ad35b795be9cfc26f252fb7e","observation_id":"1dba7df4-b8f1-46a9-b8f1-e85a33b46374","resolution":{"observed_at":"2026-08-11T16:22:31.958438Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-03898-8_5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"Bodlaender, Paul S","venue":"Lecture notes in computer science","work_id":"10136563-3911-46f6-b95a-d64679abb9c3","year":2013},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.516647Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:373daa95f64376d006011078e655429ef40b8cf7915f7f6bb1510b67ad6b57a7","observation_id":"bf835ddf-cf62-4488-9283-dd23de64a644","resolution":{"observed_at":"2026-08-11T16:22:31.861053Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:33.835213Z","title":"Bodlaender, Arie M","venue":null,"work_id":"b7716fd7-b48b-4823-ba1f-8d8be95de1ff","year":2001},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.525784Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:c5cb5f0917dbf3392be1261878aa406dc05797a49036d4585799e39526b03ca3","observation_id":"0202ef93-0060-49c8-b4c0-6ede3053b5f3","resolution":{"observed_at":"2026-08-11T16:22:33.847199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-24318-4_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"On Compiling CNFs into Structured Deterministic DNNFs","venue":"Lecture notes in computer science","work_id":"63cd2382-48b9-4740-9658-1de8bbe54458","year":2015},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.537759Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:da5877cddf05e4d8694ba197ba82c2e655e4f0b496ddbf9afb5bfb6f4ba46c50","observation_id":"998e558c-bf11-45cd-b079-d0187ea61607","resolution":{"observed_at":"2026-08-11T16:22:31.765937Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.543656Z","title":"Tractable QBF by Knowledge C ompilation","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.543656Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:669e9a09e5888a926711fb63729335393202fe3007dc393361b37ccee0c5a726","observation_id":"aae2f160-ac86-4cbe-9535-4ad7535b6b6f","resolution":{"observed_at":"2026-08-11T16:22:30.543656Z","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-11T16:22:33.811743Z","title":"A Direct Mapping of Max k-SAT and High Order Parity Checks to a Chime ra Graph","venue":null,"work_id":"6cb20115-9e7a-4836-b468-1d53f3ab82a8","year":2016},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.551708Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:006be56771d0ed581ae15b29fbee5f3a378fe693477f9466591c89d92486fa1b","observation_id":"87553524-2c7b-44f9-9acf-da61c4c1ad25","resolution":{"observed_at":"2026-08-11T16:22:33.818192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:33.784753Z","title":"Comparing QUBO Models for Quantum Annealing : Integer Encodings for Permutation Problems","venue":null,"work_id":"596f3366-62e6-4339-9a19-d6001120f59b","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.568951Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:8ae9c1fda069bdc0eb6995386683d643d9cbb8372842149efd716d7991484a6d","observation_id":"6146a360-18af-4a7d-842d-39033954a37e","resolution":{"observed_at":"2026-08-11T16:22:33.793365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-19212-9_11","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Evalua ting Ising Processing Units with Inte- ger Programming","venue":"Lecture notes in computer science","work_id":"24b40d43-06b8-4630-8080-fe6ce856b2dd","year":2019},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.579004Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:73be33667b282040c1f7ba6cc861db2586ee95b3dd7b86d36d6a3d3430417457","observation_id":"30cccea8-969c-4da9-a0af-f479bc94fe1b","resolution":{"observed_at":"2026-08-11T16:22:31.627585Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.595356Z","title":"Fomin, Lukasz Kowalik, Daniel Lokshtan ov, D´ aniel Marx, Marcin Pilipczuk, Michal Pilipczuk, and Saket Saurabh","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.595356Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:32b6740a85bb5595dff4ca874ca9098ca9b4ea839ce1665233ba661498ea54f2","observation_id":"d3a193b5-8287-47dd-bfdd-bcad3af0c137","resolution":{"observed_at":"2026-08-11T16:22:30.595356Z","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-11T16:22:33.760254Z","title":"Patton, Catherine D","venue":null,"work_id":"2d52e7cb-1a54-4952-96a4-02459a3d8e83","year":null},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.607001Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:daab836f174aee113b71d7e682d18523b9d30277b6cb128ecf42cedd6252add8","observation_id":"73fa2c14-6886-4f99-ba27-0942b3e0a5cf","resolution":{"observed_at":"2026-08-11T16:22:33.769349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.632293Z","title":"Fonseca Guerra, Prasad Joshi, Philipp Plank, and Sumedh R","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.632293Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:4ca8e110bc070313f2beaff55f4995bc7c82abf86f9cbe6dd28d04d9ea4d8850","observation_id":"629d3d36-5e78-4150-ae52-508b71734929","resolution":{"observed_at":"2026-08-11T16:22:30.632293Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.639590Z","title":null,"venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.639590Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:53b50095c385473114cd5f2b2b3d04f2cdacebadf9637f6f073846039db4b1eb","observation_id":"2006a044-88ad-4793-bd18-815da8189713","resolution":{"observed_at":"2026-08-11T16:22:30.639590Z","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-11T16:22:33.742421Z","title":"Deep Space Network Scheduling Using Quan tum Annealing","venue":null,"work_id":"7bfcd834-268b-4f2a-922c-97ce37ccc62e","year":2022},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.647008Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:e849ac361857ff4080bb9579207684a41a48ba3b59043bdc6f641f8de14f87d4","observation_id":"2823f4b3-ab93-4761-9b91-35a66a657fb5","resolution":{"observed_at":"2026-08-11T16:22:33.747387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/sat190116","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.442657Z","title":"RC2: an Efficient MaxSAT Solver","venue":null,"work_id":"33f2e8f9-c49e-45d8-bbb7-7a94a2d4c3fa","year":2019},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.655266Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:70bd25c1057ece04eaff481a0f9d1e41793685d08e808ca7e477c84a5e761189","observation_id":"5fbd7aa1-e880-412a-a746-d4233b0ff31f","resolution":{"observed_at":"2026-08-11T16:22:31.449923Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:33.713295Z","title":"Quantum Annealing with Manufactured Spins","venue":null,"work_id":"004a0a14-575c-4eec-b30c-99ce6bb90904","year":2011},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.660972Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:3df66250f1ac3a502533acff4fd3c9c8b9e6b3faa08bd7cc864dd2bc9eafb83e","observation_id":"203f78b9-0c99-4ebf-afc8-e0f05b448c31","resolution":{"observed_at":"2026-08-11T16:22:33.719262Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.667463Z","title":"Efficient and Scalable Architecture for Multiple-Chip Implementation of Simulated Bifurcat ion Machines","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.667463Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:b2ef4ed6d9a8c6671d3a4cc044cd519a9dd3aab98fac66f8c301ad1bd71c84f3","observation_id":"5c1f6278-afdc-442d-81d3-719802a92008","resolution":{"observed_at":"2026-08-11T16:22:30.667463Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.672053Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.672053Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:69a9151b5ba03ae8fb7dc5577e70f53ed0615737604a451d9679ab77845c96c0","observation_id":"1e8734a0-f807-4006-a8b6-0d9716ee9a25","resolution":{"observed_at":"2026-08-11T16:22:30.672053Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.677607Z","title":"Quantum Annealing-Based Software Components: An Exper- imental Case Study with SAT Solving","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.677607Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:0fe5e2c919288ff91f136e92d24d2ba80b8b434c2c3512a7db56f54d6e5edc85","observation_id":"d825be96-0b78-4784-9b83-7a440876c979","resolution":{"observed_at":"2026-08-11T16:22:30.677607Z","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":"10.1007/978-3-319-94144-8_15","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"QBF as an Altern ative to Courcelle’s Theorem","venue":"Lecture notes in computer science","work_id":"ec17d804-b503-4acc-a132-cc5bba5957dd","year":2018},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.683686Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:dffcfd67aab1579800bcd9bdb4f696f258999efd7db7541e6c686c65f2f6d46a","observation_id":"df8962a7-8c15-477c-a231-425870596402","resolution":{"observed_at":"2026-08-11T16:22:31.399517Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:33.691932Z","title":"Lower bounds based on the Exponential Time Hypothesis","venue":null,"work_id":"2fc52f38-c46d-420a-b630-114f51c11d38","year":2011},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.692092Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:bf5e1cc78fbaffeed243019c44add2c955e9bb111825e7da33e204acf9500c6f","observation_id":"eca60174-7761-4c9a-bf78-19cd9e1eedbf","resolution":{"observed_at":"2026-08-11T16:22:33.698752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10472-011-9233-2","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.368635Z","title":"Boolean Lexicographic Op- timization: Algorithms & Applications","venue":null,"work_id":"6d7e5126-59b3-408d-9a17-39ceb9b8d274","year":2011},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.707370Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:95e39b7ac82eca7aaf1477876447c2ae84afb30032ddf30bc91f57072d2a141c","observation_id":"0cd80b17-b484-4eef-8451-32ec9033b305","resolution":{"observed_at":"2026-08-11T16:22:31.379168Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-65340-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-13T11:03:48.094449Z","title":"In Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, Sep tember 5-8, 2017, Proceedings , pages 681–694, 2017","venue":"Lecture notes in computer science","work_id":"c7aae818-f052-4ef7-bd7b-d7c4aa5f6ad1","year":2017},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.750504Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:ca0b070676c1b5e09442a6ea7d1fde0ee108792d1d28d3b6300654ba1fa0f815","observation_id":"dd642ee9-3551-4f18-9568-281a18a70881","resolution":{"observed_at":"2026-08-11T16:22:31.347089Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.756959Z","title":"Manquinho, and Inˆ es Lynce","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.756959Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:b31dc487479c264f86abbae28ab0affc8ef3f66983b52ec43ca0688ea61cf3ef","observation_id":"707c7067-d345-412e-92e3-521d5dfd312f","resolution":{"observed_at":"2026-08-11T16:22:30.756959Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.766069Z","title":"Digital Annealer for High-Speed Solving of Combi- natorial Optimization Problems and its Applications","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.766069Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:ef81b164eee6733bb27e858cb41b5cf892569a5b446c1de6d877b67d51988abe","observation_id":"2ba7b301-3802-442c-b748-587a3ba8c64c","resolution":{"observed_at":"2026-08-11T16:22:30.766069Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.797682Z","title":"Mniszewski","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.797682Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:ace993672cc0930ad37823618e1fd9206863aaf79a157600427ccd2c3a7c9db6","observation_id":"22bae016-ab00-4811-9091-ef4762f694f4","resolution":{"observed_at":"2026-08-11T16:22:30.797682Z","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":"1908.36319","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:32.311073Z","title":"On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming","venue":null,"work_id":"5879c371-55d2-4d94-8e91-05e797f77ffa","year":2023},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.818963Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:88ef7344a31f21df908078ffdd15eca85a759d228f16f33dfdf36725e6f3b588","observation_id":"420bc505-03c4-4ac6-a257-2aa3428bb378","resolution":{"observed_at":"2026-08-11T16:22:32.330970Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.15006","last_updated":"2023-11-25T12:21:40Z","snapshot_observed_at":"2026-08-13T05:17:58.532950Z","submitted_at":"2023-11-25T12:21:40Z","title":"A Survey Examining Neuromorphic Architecture in Space and Challenges from Radiation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.15006","snapshot_observed_at":"2026-08-11T16:22:30.844117Z","title":"A Survey Examin ing Neuromorphic Architec- ture in Space and Challenges from Radiation","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.844117Z"},"links":{"cited_paper":"/paper/2311.15006","citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:40766c8afdf6b2611f555fb4fd3f842e0898d525f3083ec1034dd5175a6071b4","observation_id":"ec1cd4d2-e4f7-42d1-ac5b-1008722dae9e","resolution":{"observed_at":"2026-08-11T16:22:30.844117Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.856423Z","title":"Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.856423Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:9ad9922460a69bc1c6cf5c35949b594fb7e184843170325c977bf0ce7d771dc7","observation_id":"d35f7a1f-32bb-408d-bb79-354dde9e9b51","resolution":{"observed_at":"2026-08-11T16:22:30.856423Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.861447Z","title":"Solving (Max) 3-SAT via Quadratic Unconstrained Binary Optimization","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.861447Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:2aef9624d367ca24dd55aed264bb96a2ebf4d660241e94a9048cad17212930a0","observation_id":"1289aaa6-77fc-4372-bcc9-405c94b0078f","resolution":{"observed_at":"2026-08-11T16:22:30.861447Z","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-11T16:22:33.661291Z","title":"Energ y-Efficient On-Board Radio Re- source Management for Satellite Communications via Neuromorphic C omputing","venue":null,"work_id":"2328e5d8-43f5-434c-bc48-a805e34ffac1","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.879624Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:9e2efbe25fdc910e73513c9aeba1e923501a0bfe3a833e9e49e2a205558e7b59","observation_id":"7498b2dd-60fd-4a1f-bdc8-2651007f8d17","resolution":{"observed_at":"2026-08-11T16:22:33.672061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.890459Z","title":"UWrMaxSat: Efficient Solver for MaxSAT and Ps eudo-Boolean Problems","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.890459Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:4c779f622e40390eeb15dbecd8b06f3f57d1d7ebb6ab1ec900b111077657208d","observation_id":"72dadc3b-d6a3-4fcc-a365-0c11b46d1a55","resolution":{"observed_at":"2026-08-11T16:22:30.890459Z","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":"10.1007/978-3-031-63778-0_20","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"Imple- menting 3-SAT Gadgets for Quantum Annealers with Random Instan ces","venue":"Lecture notes in computer science","work_id":"2f9e95c3-5b7b-4522-91e2-ea9a2222a60f","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.898892Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:2a2be384dd44e5bd9f5825c4a4edc3871ed23527af286f7d4901b8a33ac00ac8","observation_id":"4561cee1-822c-4550-8cae-7640db522f03","resolution":{"observed_at":"2026-08-11T16:22:31.255703Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1088/1367-2630/16/4/045006","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.216599Z","title":"Max 2-SAT with up to 108 Qubits","venue":null,"work_id":"63695894-10eb-45ed-8dda-eb6ca1c48032","year":2014},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.906908Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:74fbc95413c74d633ac53d0cb9d2005265cd32ee70e300ed3cf07ec798fc3abb","observation_id":"6ac235e1-f00d-4c9e-a877-a6f51568e5b4","resolution":{"observed_at":"2026-08-11T16:22:31.226796Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.927218Z","title":"Schuman, Shruti R","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.927218Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:4d0e38cc1c45f0100cbe0f66284575e18c60ec39909619bb320c94505d53fd2c","observation_id":"8760efd1-6853-4964-a9fc-d2480fb77067","resolution":{"observed_at":"2026-08-11T16:22:30.927218Z","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":"10.1007/978-3-030-51825-7_19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"A Faster Algorithm for P ropositional Model Counting Param- eterized by Incidence Treewidth","venue":"Lecture notes in computer science","work_id":"c040b10a-ee72-412f-875a-e66f7b95c11b","year":2020},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.933255Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:48a153aaf11bd99c65fc865d2254f2f307bd4a596455d297b22e901bee8055ac","observation_id":"60e4dc18-39ba-4ab7-8e6b-4748e2d11e26","resolution":{"observed_at":"2026-08-11T16:22:31.173486Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.938831Z","title":"Sorkin, Madhu Sudan, and David P","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.938831Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:5305b1cd11567109185310d344446866cf0135bff0b1302021b6a221acc6a8bb","observation_id":"d5291174-a207-44d3-9f7d-e6132019ca1f","resolution":{"observed_at":"2026-08-11T16:22:30.938831Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.06007","last_updated":"2024-08-12T08:53:46Z","snapshot_observed_at":"2026-08-13T13:17:13.535198Z","submitted_at":"2024-08-12T08:53:46Z","title":"Quantum Annealing-Based Algorithm for Efficient Coalition Formation Among LEO Satellites","version":1},"cited_work":{"arxiv_id":"2408.06007","doi":"10.48550/arxiv.2408.06007","metadata_source":"pith","pith_arxiv_id":"2408.06007","snapshot_observed_at":"2026-08-11T18:16:15.004306Z","title":"Quantum Annealing-Based Algorithm for Efficient Coalition Formation Among LEO Satellites","venue":"quant-ph","work_id":"b0c2c6b6-c420-4701-8b02-18079d981b78","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.945786Z"},"links":{"cited_paper":"/paper/2408.06007","citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:ec616c4965bf6bab017b3375d831a3d4173b2c09e68f7d0a85f08af3139e304b","observation_id":"c038ee82-6e5c-4671-abfe-d69f21d9a994","resolution":{"observed_at":"2026-08-11T16:22:31.096952Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:33.636651Z","title":"Ollivier-Ricci Cu rvature and Fast Approxima- tion to Treewidth in Embeddability of QUBO Problems","venue":null,"work_id":"2d428cc8-29ec-414a-a481-520fdbb8eb48","year":2014},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.951051Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:99833a56ff118dafb87c9976baac1eb6ac24a50c2235ccdf2755c1056a220525","observation_id":"32491d28-2ea6-408a-8180-4339cdd4a28f","resolution":{"observed_at":"2026-08-11T16:22:33.644549Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-60433-1_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T11:03:20.376878Z","title":"SATQUBOLIB: A Python Framework for Creating and B enchmarking (Max- )3SAT QUBOs","venue":"Communications in computer and information science","work_id":"a8a4cbe7-a78a-4c98-9600-b824a6767ca9","year":2024},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.958805Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:5cd3385f2f4dcbcf4607ba742c7599589d06d2c34a5fb29fd565561827c15e04","observation_id":"dd166008-e6d1-4e45-9b0e-4cbbdbbd2cdf","resolution":{"observed_at":"2026-08-11T16:22:31.034464Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-11T16:22:30.966400Z","title":"Influence of Different 3SAT-to-QUBO Transformatio ns on the Solution Quality of Quantum Annealing: A Benchmark Study","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.966400Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:2d8e393cc9dd42d29135be6accaace1ab707786a9e2d65a6627dfab8d13ab476","observation_id":"63bc626f-23c8-49ec-bc57-3720fa3538d9","resolution":{"observed_at":"2026-08-11T16:22:30.966400Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:30.439704Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":2015,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.439704Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:ebcef6352d8542d6ca8d7fcc34083b101323ac627bd04bc39b53cd19478f19fd","observation_id":"4911572d-e820-4b7b-8ff2-99fabf30b78a","resolution":{"observed_at":"2026-08-11T16:22:30.439704Z","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":"10.1007/s11128-019-2236-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.497633Z","title":null,"venue":null,"work_id":"f270ebb6-ad42-4fea-bb36-8de2d3d2ce5f","year":null},"citing_paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-11T16:22:30.616219Z"},"links":{"citing_paper":"/paper/2412.10289"},"observation_digest":"sha256:58e232de02211b703b54c0c7c2af477ee1f8b3981b70ef48f56ffdbd920febd5","observation_id":"c16b21ad-d777-4d90-a8a5-b3863d395677","resolution":{"observed_at":"2026-08-11T16:22:31.513841Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.10289","last_updated":"2025-03-05T14:04:19Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-11T23:58:47.380332Z","submitted_at":"2024-12-13T17:18:08Z","title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":19,"verified_exact":17,"verified_fuzzy":11},"total_outbound_references":49},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2412.10289."}