Paper Citation Record · LEDGER

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.15774 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T23:59:33.423639Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact1
verified fuzzy21
unresolved21
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4f244547-cb0b-426e-9737-96037bdfa293 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T23:59:29.638196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd9552ec-e7e6-4fae-92c5-ed073f3b077c · outbound

This paper cites By contrast, for the hard problems, all of the (few) solutions found have significantly lower TLC.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints By contrast, for the hard problems, all of the (few) solutions found have significantly lower TLC

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:39.195712Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 99782bc5-d019-4e50-89a2-57cfbe13fea7 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T23:59:29.752034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f1319163-1c7d-4356-8a32-7d01ea041045 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:39.111529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f1014566-322d-47cb-bdd5-e49e391dd4dc · outbound

This paper cites Mukherjee and S.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Mukherjee and S

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:38.803139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a1e364b4-1d48-4284-a1c6-44a586443846 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:38.957870Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 613012b1-7848-459a-bebc-e82eadb2f8e2 · outbound

This paper cites Gupta, M.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Gupta, M

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:38.630886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4c3c3360-bf63-4399-ac97-f3a8ae7dcf83 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:38.707614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ab7bc222-9f72-4df3-99f3-c05a63108f5b · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:38.452714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 53046340-0030-46bd-9104-d7c673744d13 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:38.544748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3298eadb-a00c-46a7-ab28-1ea678bd338e · outbound

This paper cites Barahona, On the computational complexity of ising spin glass models, Journal of Physics A: Mathematical and General 15, 3241 (1982).

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Barahona, On the computational complexity of ising spin glass models, Journal of Physics A: Mathematical and General 15, 3241 (1982)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:38.262363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 3997033a-32c0-4071-aff4-99d1e65ddde9 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:38.356602Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8b5999d7-ae3a-4b37-888c-db4c7b8ff604 · outbound

This paper cites Allouche, I.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Allouche, I

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:38.177530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5a7b853c-f089-437c-b9d0-bd79275e6745 · outbound

This paper cites Lucas, Ising formulations of many np problems, Fron- tiers in Physics2, 5 (2014).

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Lucas, Ising formulations of many np problems, Fron- tiers in Physics2, 5 (2014)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T23:59:30.329285Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 17e42a93-cba9-4cce-8552-a79c18b6c160 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:37.905581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6d5cf37b-cb8e-4966-a3e0-68cc64c7bfa7 · outbound

This paper cites Ollikainen, E.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Ollikainen, E

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:38.063220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4f13847b-03c6-4e70-8c4a-4b4f345e869b · outbound

This paper cites Xing and W.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Xing and W

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:37.782281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b5ffa22e-9526-4ea2-9b7c-a9ba4896318a · outbound

This paper cites Dechter,Constraint Processing(Morgan Kaufmann, 2003).

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Dechter,Constraint Processing(Morgan Kaufmann, 2003)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T23:59:30.695155Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c780142-232e-4ef3-a8fb-0b83ef8680b8 · outbound

This paper cites Quantum computing 40 years later.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Quantum computing 40 years later

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T23:59:30.984657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb456db1-ca5c-4ee1-9b92-3b41af3d4af7 · outbound

This paper cites Marques-Silva, M.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Marques-Silva, M

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:37.628245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 55e73b67-b3fb-4702-b982-26258fc731a0 · outbound

This paper cites Kullmann, Present and future of practical sat solving, in Complexity of Constraints: An Overview of Current Research Themes, edited by N.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Kullmann, Present and future of practical sat solving, in Complexity of Constraints: An Overview of Current Research Themes, edited by N

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:37.317353Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e40722b3-fe04-4226-a023-38f787ec6c3b · outbound

This paper cites Aaronson, Quantum Computing since Democritus (Cambridge University Press, 2013).

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Aaronson, Quantum Computing since Democritus (Cambridge University Press, 2013)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:37.500610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6bb55b70-9eaa-42fd-94c2-8a8b1708cb38 · outbound

This paper cites Eén and A.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Eén and A

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:37.011713Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a951890d-adea-4bd4-be64-ce4c1e9f353f · outbound

This paper cites Biere, M.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Biere, M

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:37.169747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ae73d071-27e7-4e60-897c-3ffa6117d89e · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:36.690074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 03282ce3-131a-4969-b927-a335d6efc737 · outbound

This paper cites Marques-Silva, I.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Marques-Silva, I

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:36.847391Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation cb228b0a-06fa-48d6-beb8-9b6798121a81 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:36.416203Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 17c94e88-9faf-4a9e-8d4e-0625fed27c67 · outbound

This paper cites Alouneh, S.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Alouneh, S

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:36.537519Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a66c9b43-039e-460a-a072-587f35fe9c4b · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-06T23:59:33.608152Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation fa69d846-ea7f-4dcc-91d4-93c7d4da792e · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:36.271886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f7113306-0912-49bd-891d-eec352f10542 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:39.297433Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e21d5fc9-d29b-4475-87e2-436e4d3bf441 · outbound

This paper cites Selman, H.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Selman, H

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:36.112027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f44c6ab4-339e-470c-b279-a4b9af49afa1 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:35.890689Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 57477a51-850f-4a21-bd32-9537cd3b4935 · outbound

This paper cites Kautz, Walksat project – version 57 (2023).

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Kautz, Walksat project – version 57 (2023)

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:35.669704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation f475c24c-36ca-44d7-bc17-fe3603883e99 · outbound

This paper cites Cheeseman, B.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Cheeseman, B

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:35.493685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 79017422-56ef-4a7e-addc-5c7822245be3 · outbound

This paper cites Mitchell, B.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Mitchell, B

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:35.300987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7cbd282c-ac40-48d3-b111-be5a97ba6dbf · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:35.116680Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b64c25e5-6e02-445f-b37d-e0eb5877db87 · outbound

This paper cites Balint and U.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Balint and U

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:34.922017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 79fbd0ca-b3f1-4759-8215-84ee2ff10f35 · outbound

This paper cites Biere, T.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Biere, T

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:34.723190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8d6a585e-bd81-42f8-8fd6-c39dada0e4ac · outbound

This paper cites Biere, T.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Biere, T

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:59:34.405403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 80ba4a15-b98f-48e9-9c25-cd9256826a00 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:34.160765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a45de7ca-31ce-4d65-a498-59d7dc432863 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:33.987559Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 28650561-58ee-435d-93e4-c27137b20760 · outbound

This paper cites an unresolved cited work.

Advancing Stochastic 3-SAT Solvers by Dissipating Oversatisfied Constraints Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:59:33.796434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

No inbound Pith citation observations are available.