{"as_of":"2026-08-19T19:50:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b5a541923f137a4d6ef7bed3e68dafd1cbdee0132547541238c3ee19c1a97f8a","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T23:59:33.423639Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+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/2506.15774/citation-record","integrity":"/paper/2506.15774/integrity","json":"/paper/2506.15774/citation-record.json","paper":"/paper/2506.15774"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:59:29.638196Z","title":null,"venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.638196Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:f48ab4b466ecb716210f05015db45242d9ca24eef335ea55dad615a2b5bc099f","observation_id":"4f244547-cb0b-426e-9737-96037bdfa293","resolution":{"observed_at":"2026-08-06T23:59:29.638196Z","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-06T23:59:39.160423Z","title":"By contrast, for the hard problems, all of the (few) solutions found have significantly lower TLC","venue":null,"work_id":"a5471c24-fb28-4dc6-a1ab-1b1ff27f21a6","year":2000},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.569292Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:bf235369ee0579cd8fedca201d1b3f309803cfd62f5f465371da17481b8feb0f","observation_id":"bd9552ec-e7e6-4fae-92c5-ed073f3b077c","resolution":{"observed_at":"2026-08-06T23:59:39.195712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:29.752034Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.752034Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:93c70e55674e9c264cb89d99b083bdf840f0a2ff9f4da6d0e9b8bb25829a50b7","observation_id":"99782bc5-d019-4e50-89a2-57cfbe13fea7","resolution":{"observed_at":"2026-08-06T23:59:29.752034Z","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-06T23:59:39.053437Z","title":null,"venue":null,"work_id":"3ed2977e-fb7b-41e2-af97-431960c551c7","year":1972},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.679179Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:ddfbce8135dc52275527e1cf9b2044379c43ad080803f90fc3424f0efcc49fab","observation_id":"f1319163-1c7d-4356-8a32-7d01ea041045","resolution":{"observed_at":"2026-08-06T23:59:39.111529Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.767185Z","title":"Mukherjee and S","venue":null,"work_id":"2743449f-9050-4ab8-bb6a-208aa6093a3e","year":2015},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.853276Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:3c544ae022123b58de62291107e5481bf354a90c5cdc84497e03a28155d82cb2","observation_id":"f1014566-322d-47cb-bdd5-e49e391dd4dc","resolution":{"observed_at":"2026-08-06T23:59:38.803139Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.889584Z","title":null,"venue":null,"work_id":"07bfedcc-b52f-4491-b69d-f851de741388","year":1999},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.811565Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:52e02cbd1488e4bd0f6e694304451c9b89f0f5edd2b43477c6c7eb5fa2d0912c","observation_id":"a1e364b4-1d48-4284-a1c6-44a586443846","resolution":{"observed_at":"2026-08-06T23:59:38.957870Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.596393Z","title":"Gupta, M","venue":null,"work_id":"f53378ca-9065-4afa-9ae7-79b0216404ab","year":2006},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.936004Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:062917e517d380181f621eecbe8ad52818807ecc9cd3aab0abc746e28969a654","observation_id":"613012b1-7848-459a-bebc-e82eadb2f8e2","resolution":{"observed_at":"2026-08-06T23:59:38.630886Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.670450Z","title":null,"venue":null,"work_id":"544f5c9d-c543-43e4-9dd9-3b95475804ab","year":2005},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.892216Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:62326637019021855dd22ec4fe8eeffff7e24c4ecd51324a07ad59a2fd4db4b6","observation_id":"4c3c3360-bf63-4399-ac97-f3a8ae7dcf83","resolution":{"observed_at":"2026-08-06T23:59:38.707614Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.417700Z","title":null,"venue":null,"work_id":"7c7987f5-560a-4989-86c7-42791ccf62c8","year":2011},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.047756Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:2fb5ecc6398440ebe904439b03ac256c1c39ade58759c1a98fa994decc7957eb","observation_id":"ab7bc222-9f72-4df3-99f3-c05a63108f5b","resolution":{"observed_at":"2026-08-06T23:59:38.452714Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.506947Z","title":null,"venue":null,"work_id":"12c43239-0ae3-4994-820e-34a6c46c835c","year":2021},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.985568Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:5bda72653f4b1ce0051a8ff3fb19a976837c076928da84b595b5417b4e6afaa1","observation_id":"53046340-0030-46bd-9104-d7c673744d13","resolution":{"observed_at":"2026-08-06T23:59:38.544748Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.231415Z","title":"Barahona, On the computational complexity of ising spin glass models, Journal of Physics A: Mathematical and General 15, 3241 (1982)","venue":null,"work_id":"23f6c23d-84c7-47ca-b44a-3b48a8c9f8a1","year":1982},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.238832Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:f0205b737d0fa1b601a4be10d96c0f6bc9d4db10192628ea09adeec01d8a56ca","observation_id":"3298eadb-a00c-46a7-ab28-1ea678bd338e","resolution":{"observed_at":"2026-08-06T23:59:38.262363Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.324635Z","title":null,"venue":null,"work_id":"c72567d8-baf6-4cf7-bcdf-1b41c18f6a38","year":2020},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.141239Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:50801c75e311248784a7b040ed3d491e37e2a226453179be059f5c391f18acdc","observation_id":"3997033a-32c0-4071-aff4-99d1e65ddde9","resolution":{"observed_at":"2026-08-06T23:59:38.356602Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.128131Z","title":"Allouche, I","venue":null,"work_id":"c724fe29-9725-403b-ace7-56ab76b3c264","year":2014},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.414325Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:284b451d372607eac7f65050c7c57dfae5ccd575b3da10a4e8aacc4f36a84740","observation_id":"8b5999d7-ae3a-4b37-888c-db4c7b8ff604","resolution":{"observed_at":"2026-08-06T23:59:38.177530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:30.329285Z","title":"Lucas, Ising formulations of many np problems, Fron- tiers in Physics2, 5 (2014)","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.329285Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:8c467ed79f950b3ffc8faec997021b6f3237e30ce3c6576b93235cb20fb5df58","observation_id":"5a7b853c-f089-437c-b9d0-bd79275e6745","resolution":{"observed_at":"2026-08-06T23:59:30.329285Z","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-06T23:59:37.838898Z","title":null,"venue":null,"work_id":"fdc1dea4-a538-4453-8274-2d02cad78468","year":2002},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.602847Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:ddd1dc3cdf186623257c32cab06782dfdb5502e38a193946a71ae85262668840","observation_id":"17e42a93-cba9-4cce-8552-a79c18b6c160","resolution":{"observed_at":"2026-08-06T23:59:37.905581Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:38.009044Z","title":"Ollikainen, E","venue":null,"work_id":"c8825f41-1666-42e9-837e-087c94838a11","year":2009},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.497575Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:c1bb1682cd321a5fb67b5f8765cda6712f5d0067d91505c916ee95a7bbf18f10","observation_id":"6d5cf37b-cb8e-4966-a3e0-68cc64c7bfa7","resolution":{"observed_at":"2026-08-06T23:59:38.063220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:37.713879Z","title":"Xing and W","venue":null,"work_id":"ad8c0392-eb37-41f4-a505-823037602196","year":2005},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.781963Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:1c9c2d1e55b40cc40921ac8770831c4aa7a14a0905e54b506056acbcfddf7f09","observation_id":"4f13847b-03c6-4e70-8c4a-4b4f345e869b","resolution":{"observed_at":"2026-08-06T23:59:37.782281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:30.695155Z","title":"Dechter,Constraint Processing(Morgan Kaufmann, 2003)","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.695155Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:78a129b159aeddd507458a1a519f3082b564823c5d4dc28acda0d6f10ef36d35","observation_id":"b5ffa22e-9526-4ea2-9b7c-a9ba4896318a","resolution":{"observed_at":"2026-08-06T23:59:30.695155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2106.10522","last_updated":"2023-02-06T02:46:23Z","snapshot_observed_at":"2026-08-16T18:15:55.523196Z","submitted_at":"2021-06-19T15:39:53Z","title":"Quantum computing 40 years later","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.10522","snapshot_observed_at":"2026-08-06T23:59:30.984657Z","title":"Preskill, Quantum computing 40 years later, inThe Feynman Lectures on Computation, edited by A","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.984657Z"},"links":{"cited_paper":"/paper/2106.10522","citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:bc089078dacec44f40e343ef1c4eb5a3ee1a52480f78e5b71fb696405e2a7761","observation_id":"0c780142-232e-4ef3-a8fb-0b83ef8680b8","resolution":{"observed_at":"2026-08-06T23:59:30.984657Z","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-06T23:59:37.566896Z","title":"Marques-Silva, M","venue":null,"work_id":"99119c25-a128-414e-9888-bb386d08d441","year":2013},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:30.871393Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:2711fe9d93889a48be7aca3d860c66d2da896966733ff75dfbbf0feaa90c839c","observation_id":"fb456db1-ca5c-4ee1-9b92-3b41af3d4af7","resolution":{"observed_at":"2026-08-06T23:59:37.628245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:37.239583Z","title":"Kullmann, Present and future of practical sat solving, in Complexity of Constraints: An Overview of Current Research Themes, edited by N","venue":null,"work_id":"5064e0de-4618-41c5-9dfa-6ddd7346836c","year":2008},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.266988Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:ff22eb27357ff5187eb020385a397200fa6373d76717987b93630f3b7f54d36f","observation_id":"55e73b67-b3fb-4702-b982-26258fc731a0","resolution":{"observed_at":"2026-08-06T23:59:37.317353Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:37.415995Z","title":"Aaronson, Quantum Computing since Democritus (Cambridge University Press, 2013)","venue":null,"work_id":"f1c17b0d-197a-4009-b6db-907823e33056","year":2013},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.117471Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:abae8a4dddf6d838d2195864cd937b8d6dcc8047cd325f796ccc17f573dd4063","observation_id":"e40722b3-fe04-4226-a023-38f787ec6c3b","resolution":{"observed_at":"2026-08-06T23:59:37.500610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:36.925391Z","title":"Eén and A","venue":null,"work_id":"f323d434-b82d-45ac-9ec9-38701c5390c6","year":2005},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.476690Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:1292b19d1581e24e0ccf7301016176f963a02755bd97a04fe7a07b67bd26b172","observation_id":"6bb55b70-9eaa-42fd-94c2-8a8b1708cb38","resolution":{"observed_at":"2026-08-06T23:59:37.011713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:37.101920Z","title":"Biere, M","venue":null,"work_id":"64c0a77f-008a-4abf-92b9-571f88daffbe","year":2009},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.358805Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:e3c5c0c922d669a1fdd657dc31eab513fe69f6b0cb76f15e8c93ec80f6fbf85e","observation_id":"a951890d-adea-4bd4-be64-ce4c1e9f353f","resolution":{"observed_at":"2026-08-06T23:59:37.169747Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:36.609637Z","title":null,"venue":null,"work_id":"bba93953-3c2d-47f7-b529-abcf1c5f5b72","year":2023},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.727605Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:6d0964bef1414d6a8e586bc1333ac77f5206886043755c513a4e09bb59a26444","observation_id":"ae73d071-27e7-4e60-897c-3ffa6117d89e","resolution":{"observed_at":"2026-08-06T23:59:36.690074Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:36.777784Z","title":"Marques-Silva, I","venue":null,"work_id":"2ecdf211-c6f8-417f-acd5-3d0626131fae","year":2009},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.572987Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:f087659b12e96de3e894918907d4f556ce9d09db35f5031de04a4d463c892a53","observation_id":"03282ce3-131a-4969-b927-a335d6efc737","resolution":{"observed_at":"2026-08-06T23:59:36.847391Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:36.357185Z","title":null,"venue":null,"work_id":"a105e769-ad08-49fd-b206-9385de9d2a01","year":2000},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.982062Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:9b8d1549ae0c7ad25b5a56a6eff3f5fc11be180389b7255354e32cc709c1debd","observation_id":"cb228b0a-06fa-48d6-beb8-9b6798121a81","resolution":{"observed_at":"2026-08-06T23:59:36.416203Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:36.480379Z","title":"Alouneh, S","venue":null,"work_id":"61ce2d97-7493-4f0c-856a-f1f8ae839f90","year":2019},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:31.842296Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:4fefd5178b4d48cd5e8202feed967a1d2b8aac4b7647d1d220a5906b72a30c53","observation_id":"17c94e88-9faf-4a9e-8d4e-0625fed27c67","resolution":{"observed_at":"2026-08-06T23:59:36.537519Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3897/jucs.2020.013","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"JUCS - Journal of Universal Computer Science","work_id":"13f0ea03-c743-4a1f-93ee-9734ffdf80a9","year":2020},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.254827Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:b3284cfbd86189ac6308f5847fa3532cc1c19323d4804dd1d58f7fa71a31fdc0","observation_id":"a66c9b43-039e-460a-a072-587f35fe9c4b","resolution":{"observed_at":"2026-08-06T23:59:33.608152Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:36.209354Z","title":null,"venue":null,"work_id":"9d72d889-8de2-4735-ab26-b508d7f9df34","year":2015},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.120954Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:ddc0c603ed7a56fb8368bf4bc51fe91983bfb5a519b3b4448d9ed8dd17937473","observation_id":"fa69d846-ea7f-4dcc-91d4-93c7d4da792e","resolution":{"observed_at":"2026-08-06T23:59:36.271886Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:39.252235Z","title":null,"venue":null,"work_id":"3bbd49e3-8adb-41e3-9b0c-6d818a7c0d43","year":null},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:29.533821Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:7f473ddbb3936aa471a301d6a4af9ae732968a5f6fe71fab3682d2162b6ee15c","observation_id":"f7113306-0912-49bd-891d-eec352f10542","resolution":{"observed_at":"2026-08-06T23:59:39.297433Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:36.000453Z","title":"Selman, H","venue":null,"work_id":"4f2810bf-5f09-4fe9-a2f2-a0e4656e0908","year":1994},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.344887Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:3b07673dc1eaacba75bc44636be35d4e58d6ec61dbb47fef2b2a64cc6d644e34","observation_id":"e21d5fc9-d29b-4475-87e2-436e4d3bf441","resolution":{"observed_at":"2026-08-06T23:59:36.112027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:35.776659Z","title":null,"venue":null,"work_id":"5262780e-dc42-414a-9638-a07d262b082d","year":2004},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.421338Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:c3d687929d4e28195fdebacf8a79958255e6650234f806fb090b621d957f0d60","observation_id":"f44c6ab4-339e-470c-b279-a4b9af49afa1","resolution":{"observed_at":"2026-08-06T23:59:35.890689Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:35.561015Z","title":"Kautz, Walksat project – version 57 (2023)","venue":null,"work_id":"5edde775-19d9-4f9b-97ff-7d796bd69e5a","year":2023},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.509950Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:89cb4fea387da2eb0b7d0dc2373e12ce8469ba93d6ae60f51efb50014401fa97","observation_id":"57477a51-850f-4a21-bd32-9537cd3b4935","resolution":{"observed_at":"2026-08-06T23:59:35.669704Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:35.385046Z","title":"Cheeseman, B","venue":null,"work_id":"26370726-8223-4771-bf58-908a7c523194","year":1991},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.602528Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:463b8913f836df1698aa8659550045e2860ed75dcbfba6d83dda228797991504","observation_id":"f475c24c-36ca-44d7-bc17-fe3603883e99","resolution":{"observed_at":"2026-08-06T23:59:35.493685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:35.211311Z","title":"Mitchell, B","venue":null,"work_id":"b60b925c-0f0e-48df-91dd-38ac0ad7ff5e","year":1992},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.746552Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:2f155188790386972a395e1e10efb9722bcfa0dd30aafb6db44a5fca6de54776","observation_id":"79017422-56ef-4a7e-addc-5c7822245be3","resolution":{"observed_at":"2026-08-06T23:59:35.300987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:35.011281Z","title":null,"venue":null,"work_id":"75ff90e0-ab66-43c6-b791-7f889c6c8df9","year":2010},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.846286Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:663f393841b5f6feae3dc49f1100eed99207d892d29abf947d166a784de195fc","observation_id":"7cbd282c-ac40-48d3-b111-be5a97ba6dbf","resolution":{"observed_at":"2026-08-06T23:59:35.116680Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:34.844133Z","title":"Balint and U","venue":null,"work_id":"b07872c7-9e17-4eb9-994f-79447866f116","year":2012},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:32.932804Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:738cab1bb2a2ccb464bc1053c6cd3e3fea78f312231828433e6471c0c5bc7df4","observation_id":"b64c25e5-6e02-445f-b37d-e0eb5877db87","resolution":{"observed_at":"2026-08-06T23:59:34.922017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:34.605603Z","title":"Biere, T","venue":null,"work_id":"5843a57f-685e-4d9a-a136-43b4d147996b","year":2024},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:33.040899Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:fb38edecc87d62bb1d5f33a801082303a0245da127c2fb38485e5296aef395af","observation_id":"79fbd0ca-b3f1-4759-8215-84ee2ff10f35","resolution":{"observed_at":"2026-08-06T23:59:34.723190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:34.297547Z","title":"Biere, T","venue":null,"work_id":"0daef12c-d02e-4066-b98f-554985c35185","year":2024},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:33.134141Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:31bda55d1af938958ace2a73359f5d59fc46d26cf9e169c502b320e3afef46c3","observation_id":"8d6a585e-bd81-42f8-8fd6-c39dada0e4ac","resolution":{"observed_at":"2026-08-06T23:59:34.405403Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:34.084161Z","title":null,"venue":null,"work_id":"c5303226-ca61-4a45-9fee-db751dce0e3c","year":2017},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:33.225849Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:e8ea7d753570f00e9379e833cb468c9304081d4587af5b8d20b906ed37e1f382","observation_id":"80ba4a15-b98f-48e9-9c25-cd9256826a00","resolution":{"observed_at":"2026-08-06T23:59:34.160765Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:33.882295Z","title":null,"venue":null,"work_id":"f183470b-7724-45fd-bc2e-25c871aaf18f","year":2007},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:33.328000Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:22c671fad66714653ecd6cb0ea55fd2aa188ab60ac351b0faaae0206c4151839","observation_id":"a45de7ca-31ce-4d65-a498-59d7dc432863","resolution":{"observed_at":"2026-08-06T23:59:33.987559Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-06T23:59:33.718696Z","title":null,"venue":null,"work_id":"64a1c8a6-6945-4ba6-9ff3-83263cc63823","year":2007},"citing_paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T23:59:33.423639Z"},"links":{"citing_paper":"/paper/2506.15774"},"observation_digest":"sha256:8b29fcfc1d1af6a971c2ef478ec40b049ca2523cad7d5fb7b11c2b64f4d395ea","observation_id":"28650561-58ee-435d-93e4-c27137b20760","resolution":{"observed_at":"2026-08-06T23:59:33.796434Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.15774","last_updated":"2025-06-18T18:00:01Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-16T13:49:52.820285Z","submitted_at":"2025-06-18T18:00:01Z","title":"Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":21,"verified_exact":1,"verified_fuzzy":21},"total_outbound_references":43},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2506.15774."}