{"as_of":"2026-08-16T07:16:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:15e36f5ebd913a04116e8fe648594b300667e0b58e6f145fb96f05327f87c50c","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:08:48.405414Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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.00674/citation-record","integrity":"/paper/2506.00674/integrity","json":"/paper/2506.00674/citation-record.json","paper":"/paper/2506.00674"},"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-07T12:08:51.846532Z","title":"Lazy Clause Exchange Policy for Parallel SAT Solvers","venue":null,"work_id":"71923a12-811f-4624-a6cb-399157653ba6","year":2014},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.294457Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:d67b0735fc59f745397c5df5837a04c7d4f33482f4d4f0aaad0034f50af7d679","observation_id":"8a31d9e9-956f-413a-8a1e-1487acccfb45","resolution":{"observed_at":"2026-08-07T12:08:51.920003Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1703.00441","last_updated":"2017-11-30T18:59:01Z","snapshot_observed_at":"2026-08-14T21:14:03.193111Z","submitted_at":"2017-03-01T18:52:23Z","title":"Learning to Optimize Neural Nets","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1703.00441","snapshot_observed_at":"2026-08-07T12:08:47.428081Z","title":"Learning to optimize neural nets.arXiv preprint arXiv:1703.00441,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.428081Z"},"links":{"cited_paper":"/paper/1703.00441","citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:f4a1f513e84f3d7a441c9b39d8d9e5fde8de7a3e542b57a8b571e31063e0134e","observation_id":"55dcbe23-35b3-4071-878b-61e6cbc04c9f","resolution":{"observed_at":"2026-08-07T12:08:47.428081Z","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-07T12:08:50.289139Z","title":"Pblib – a library for encoding pseudo-boolean constraints into cnf","venue":null,"work_id":"7f3ade18-ac25-4eb1-b60e-e2c0c0afad59","year":2015},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.707149Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:64c3626b684390f48b992563a1391668d943c261d29ccbf59f6120a89d9c7173","observation_id":"974fd64b-f61b-417e-8d5b-8bde77cb0f8a","resolution":{"observed_at":"2026-08-07T12:08:50.373584Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.02003","last_updated":"2024-06-04T06:33:16Z","snapshot_observed_at":"2026-08-12T23:50:52.171792Z","submitted_at":"2024-06-04T06:33:16Z","title":"Laplace Meets Moreau: Smooth Approximation to Infimal Convolutions Using Laplace's Method","version":1},"cited_work":{"arxiv_id":"2406.02003","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.02003","snapshot_observed_at":"2026-08-07T12:08:48.745691Z","title":"Laplace Meets Moreau: Smooth Approximation to Infimal Convolutions Using Laplace's Method","venue":"math.OC","work_id":"70e03881-0de7-4b36-bfc5-de3a7f77a9a8","year":2024},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.931247Z"},"links":{"cited_paper":"/paper/2406.02003","citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:e60f7ef989779a4f04856d7e98a897074da87e055dae35a011391a936b632d63","observation_id":"c71c8773-4778-46dc-a624-2ce926efb817","resolution":{"observed_at":"2026-08-07T12:08:48.803870Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2301.09833","last_updated":"2023-05-18T02:46:09Z","snapshot_observed_at":"2026-08-15T23:32:38.899403Z","submitted_at":"2023-01-24T06:14:24Z","title":"Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints","version":2},"cited_work":{"arxiv_id":"2301.09833","doi":null,"metadata_source":"pith","pith_arxiv_id":"2301.09833","snapshot_observed_at":"2026-08-07T12:08:48.527326Z","title":"Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints","venue":"cs.AI","work_id":"f2c80cf1-052d-4a25-a8b8-186d7072f728","year":2023},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:48.039210Z"},"links":{"cited_paper":"/paper/2301.09833","citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:172ccc4eeeca10caf539fbebf181ef13d5eb1f0e3ba3769da409c6b07dfd0dd0","observation_id":"05909531-5368-47a0-994e-b376d487ad89","resolution":{"observed_at":"2026-08-07T12:08:48.619511Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:49.733311Z","title":"Without loss of generality, we assume all constraints do not contain negative literals","venue":null,"work_id":"4b919731-0ae3-4d65-b57d-e387b2026ddf","year":2016},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:48.320725Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:0477950b5487ee1aee187c40c39f1bb10a5b6d1c765d06a7876a5852ad5119b3","observation_id":"ea0cc435-37e5-4a86-8b7a-aaca018b1824","resolution":{"observed_at":"2026-08-07T12:08:49.824301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:49.465399Z","title":"Rounding this point givesb′ = sgn(a′′) = (b1,··· ,bk−1,−1, sgn(a′))","venue":null,"work_id":"5bac0e0e-0a9c-4b9e-bb50-6e7aff3cd074","year":2016},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:48.405414Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:99941574c2cce13ff69223d9f957301782acbddcc7168f6a114f2d7e4cf03b4f","observation_id":"c683f60a-d48f-49bf-809d-614497c7bebc","resolution":{"observed_at":"2026-08-07T12:08:49.587370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:46.986297Z","title":"The Hardness of 3-Uniform Hypergraph Coloring","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":1962,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.986297Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:9e701cd761080faeb29cc720b2b7d5d97aed7264b9e805d6c0a818664cf5f556","observation_id":"20cd5e21-55d8-45c4-aca8-a05655e517ca","resolution":{"observed_at":"2026-08-07T12:08:46.986297Z","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-07T12:08:51.186025Z","title":"Biclique Cryptanalysis of the Full AES","venue":null,"work_id":"267443dc-9ae9-44ca-ba23-6a0177bcc7be","year":2011},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":1982,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.561877Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:624fa5ae5a4cb08a61386c68c380875c999271aebb16a88aabe83e031c286620","observation_id":"8a40c2c7-003f-46e1-8333-11f91ce048db","resolution":{"observed_at":"2026-08-07T12:08:51.309852Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7135.18672","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:08:48.993732Z","title":"51 JP Marques Silva and Karem A Sakallah","venue":null,"work_id":"9b14f9ef-8f8e-4312-89f5-4640dad4170c","year":null},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.800147Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:2e9612a4772fff1d625c29a3f9e5e5a42923c1883a408cba004c4e8c82c346e0","observation_id":"2ff4f46f-b1c7-4ce1-9ff4-559d49089185","resolution":{"observed_at":"2026-08-07T12:08:49.086118Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:47.598764Z","title":"39 Goran S Nikolić, Bojan R Dimitrijević, Tatjana R Nikolić, and Mile K Stojcev","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.598764Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:3df183560b12f3ac8d5fcacbb64438380954e615b52a1a3458423a5f67bd86b3","observation_id":"2c375bca-242a-4e0c-a97b-ae07aa26d4a7","resolution":{"observed_at":"2026-08-07T12:08:47.598764Z","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-07T12:08:50.742589Z","title":"Cadical, kissat, paracooba, plingeling and treen- geling entering the sat competition 2020.Sat Competition, 2020:50,","venue":null,"work_id":"ef2b6b7a-0ee8-4370-88b3-3071b0d154ef","year":2020},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.122882Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:3017ea2ae2093e80548835921be708b2353f8cc43d72c5e40d60ef5599d36902","observation_id":"a8a976e4-9361-4889-ad5a-c7b5a0f72b68","resolution":{"observed_at":"2026-08-07T12:08:50.865739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:46.749723Z","title":"11 Tianlong Chen, Xiaohan Chen, Wuyang Chen, Howard Heaton, Jialin Liu, Zhangyang Wang, and Wotao Yin","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.749723Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:4a413251a6e7ae8582dbe22c9c4614d0165eb507b63ab29b26c69b3612133c14","observation_id":"fcdf7c60-0cc8-40d0-9efc-68bc3e9b9888","resolution":{"observed_at":"2026-08-07T12:08:46.749723Z","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-07T12:08:50.948130Z","title":"14 Martin Davis, George Logemann, and Donald Loveland","venue":null,"work_id":"49026e8b-15a2-4fb9-9487-dd144dbde235","year":2009},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.873151Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:8a6ab36e303b456ebe94afea795530eacc801cdf5650cff5fad510e6b9cd1170","observation_id":"4bc676e4-1e58-4aa2-a4dc-1e2cfaf23cc6","resolution":{"observed_at":"2026-08-07T12:08:51.052522Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:51.386086Z","title":"Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break","venue":null,"work_id":"ba8804d4-1542-4782-a3d8-fcb55a178390","year":2012},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.430907Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:16946c01a39f55f970548d740b819a44602e0b1b1f0b0269fa70728a823f32e7","observation_id":"d31d192b-5b26-4fe5-a96c-6d151673afeb","resolution":{"observed_at":"2026-08-07T12:08:51.510272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.15020","last_updated":"2023-08-29T04:50:07Z","snapshot_observed_at":"2026-08-13T10:25:17.732542Z","submitted_at":"2023-08-29T04:50:07Z","title":"Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs","version":1},"cited_work":{"arxiv_id":"2308.15020","doi":null,"metadata_source":"pith","pith_arxiv_id":"2308.15020","snapshot_observed_at":"2026-08-07T12:08:49.314814Z","title":"Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs","venue":"cs.AI","work_id":"3d81f383-84bf-4207-a47b-36f801aa6482","year":2023},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.619786Z"},"links":{"cited_paper":"/paper/2308.15020","citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:8e7c525c2aa6f4407ab1e2a5687fba242dbd763aebebac225596181427824413","observation_id":"b40b5f5f-6bfd-4d93-bf6a-ed36b37965cf","resolution":{"observed_at":"2026-08-07T12:08:49.374562Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:51.641116Z","title":"Improving Stochastic Local Search for SAT with a New Probability Distribution","venue":null,"work_id":"e8145aa4-75e9-4093-8f21-4f4a58d9c02c","year":2010},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:46.361778Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:46b661b0869638b96b26dd8f4a7e634d1676764bf8c8459f4285cf546043f042","observation_id":"b26ec2ec-3a43-4c75-8e0a-832823b005ed","resolution":{"observed_at":"2026-08-07T12:08:51.735518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1412.6980","last_updated":"2017-01-30T01:27:54Z","snapshot_observed_at":"2026-08-14T18:51:16.666127Z","submitted_at":"2014-12-22T13:54:29Z","title":"Adam: A Method for Stochastic Optimization","version":9},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1412.6980","snapshot_observed_at":"2026-08-07T12:08:47.291601Z","title":"Adam: A method for stochastic optimization.arXiv preprint arXiv:1412.6980,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.291601Z"},"links":{"cited_paper":"/paper/1412.6980","citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:b471d5f3e0a273746131361836267bc5de76d80e1891b89691a01e91f066a140","observation_id":"80eeb70a-5de2-4758-839b-3bab227ed65d","resolution":{"observed_at":"2026-08-07T12:08:47.291601Z","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-07T12:08:49.901726Z","title":"Engineering an efficient pb-xor solver","venue":null,"work_id":"d54251ba-3632-4be0-9fa8-b02968ecc5c0","year":2021},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:48.256896Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:12755da69fbf908ed98dbc452c9d0d7431738f7c41b326160d7fa0eb3332fc74","observation_id":"13cf4aac-3f2c-4b2d-9396-7bcecfc56bc5","resolution":{"observed_at":"2026-08-07T12:08:49.970187Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:50.487086Z","title":"Reluplex: An efficient smt solver for verifying deep neural networks","venue":null,"work_id":"0b81ac7e-de51-48c7-a70c-ac1f8f8d4521","year":2017},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.184011Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:6faa7f1b88d1e726888560134b12e0d9cc0901795230f7c38b839fa912e751dd","observation_id":"397c1f4b-1e6d-4ca5-959a-03f038581db6","resolution":{"observed_at":"2026-08-07T12:08:50.628660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:50.090317Z","title":null,"venue":null,"work_id":"77ebadf2-054b-40a6-b8dc-41b25e4906a8","year":2004},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:48.161765Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:fbaca27006f5da3b965243789e39a46f8536bf94adc756eb3d7c3d923546e108","observation_id":"77cfee2a-ac2f-47e8-aa2d-4ed7fe55a2b1","resolution":{"observed_at":"2026-08-07T12:08:50.169975Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-07T12:08:47.537288Z","title":"Recent advances in numerical solutions for hamilton-jacobi pdes.arXiv preprint arXiv:2502.20833,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-07T12:08:47.537288Z"},"links":{"citing_paper":"/paper/2506.00674"},"observation_digest":"sha256:e1a2e102b6ae1d9c571361e72a73a6fd3995147a916fc3068f8793b063960c7f","observation_id":"1b01c5d4-0984-4b9c-ab48-98456a9bbc00","resolution":{"observed_at":"2026-08-07T12:08:47.537288Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2506.00674","last_updated":"2025-05-31T18:58:33Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-15T19:39:15.050718Z","submitted_at":"2025-05-31T18:58:33Z","title":"Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":7,"verified_exact":3,"verified_fuzzy":10},"total_outbound_references":22},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2506.00674."}