{"as_of":"2026-08-13T10:12:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bf41da04848921fcd17c209edd1e52f28b07e6a98a61dfe63c660e08e5b52580","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-13T06:32:02.005865+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:4a197fab08868e22739b086c50c895fd55fdca99053c4db525f5e5aea5d7866b","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:540214f2fa945de00178bc9c6a98d2fdf554c66d4e48403588e6565328556f30","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:594a2c4cc1c2fda0dbe73af523f50edb5ec6ea553d4c70e8456c440b28309732","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:bf85c4e284f2bb93b55f73b8993519f3aced1fae722a8c478c52e8a8c436bbf4","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T04:05:59.349379Z","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:add6b5db9dd8418ee999b601a9d7f3679517eb8795aedcd3d000ed0d72432679","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:dcb0efabceea77f90e7c539943f8cdb20363c0f1f057b0d220a086491756e033","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.950411Z","title":"Chudak, William G","venue":null,"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:c9d927b1dc4c60bc41815db4ba481f8f744a844dea272c64c210e0b79c237245","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.784819Z","title":"Bodlaender, Paul S","venue":null,"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:54acbd733fc7b6137b2e713d088dbf219beba8e3ef8fcb8f13392c5923233916","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:6c4d24ae99e3947797ddb929b04260aa21e2900ea5f6817a3d4b4f71a088775c","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.750554Z","title":"On Compiling CNFs into Structured Deterministic DNNFs","venue":null,"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:bbcd2a8738b97264a7498ca7ef71cd9d79f2c716ce5bc3ff9d3f2b6843bb2ed8","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:f7a31ca371059ac07978c662ad187bb20b51061a4bebc0068d17b084c5b8c5bb","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:c6dbd82bb1825529a21327aedc66a8c6ee456d5ea64aa599157d77ff65dea5b1","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:6aceff7c41e7b76ed094e7269d26432a9b0b7ffa2606baa98c26e31dfa80cd69","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:86e7cb1cf2dbff6af6e885709641fbcf178f18985bf1fc6cb8fdf5995cdbac57","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:00718bd158ee9330bd50064ab253aed87235f7ac01e070f2a6f9f46d022a0567","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:a71b05bd0cc382ddce5135c1119dac4d0bb319868dfb702df40797db0a19e7e9","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:e57cd029fa84dc07fcb1d37f8cc523510a83fdd6106431af401fb8340765777d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.393431Z","title":"QBF as an Altern ative to Courcelle’s Theorem","venue":null,"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:4517991938fd3b010c265f492baee14a08e06eb01ffe811e14afc8565b2ce23d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:1433fff60b6f749d947088dd3bf9977118b04dd8fda6d3ab76a3569c4c3f6b83","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:2d00f5704a7f6508089cd74fc5eecf5fbd543bd7501e81b36c5b110567431a9b","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T16:22:31.338352Z","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":null,"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:384765243b45e78e48b798651309873ae06bf0021c790c95c0b55b5e222ccfef","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:11a6d1761057686e1f211b918f90c842ce938061904332922e8b8eb2669d695d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:5c5f27a36c59acf575280fac978cb77ba0d5acde16065725f0c9756e6df1db8a","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:7e9bbd9e019f03a9332ec43007f62132a29f01772e8768fb6a57307352892a4d","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:becfcfbde6b17cb38b95e454549d008ac49f7c4c32eba1b6e3cfdc82ac157d25","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:540b34147807e97131a25fac513ff8488bda170146feeb882265cadac35210b3","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-12T23:05:07.272116Z","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:42c1d5343907f2f523f0e4e173e527f9f379d348dfadf8e3d80f29872c655df0","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:bd8f7bf36896b3e549b075804a5367c601d5700fcb9b95fd3b8c590eb6a2e410","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:0306f549ae3a99a0543cc07dac241ac6670568c25db82144e332e2aaf4e23ff8","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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:d0ce991784b408e37fe1a715a172ed1cfe8c65f4bbec726372268f694d96682b","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-13T06:32:02.005865+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+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-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2412.10289."}