Reference health
On the constraint length of random $$k$$ k -CSP
9/9 checkable references clean · checked 2026-08-10
Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.
1 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.
The 9 checked references that resolve
resolves10.1016/j.artint.2010.11.004
On the phase transitions of random k-constraint satisfaction problems
resolves10.1016/j.camwa.2007.07.002
Formula dissection: A parallel algorithm for constraint satisfaction
resolves10.1016/j.artint.2007.04.001
Random constraint satisfaction: Easy generation of hard (satisfiable) instances
The 1 reference without a DOI — listed, not checked
no DOI — not checkedLiu J, Gao Z (2010) Exploiting the power of the second moment method to prove exact phase transitions, manuscript
What this badge says. CiteStamped means the CHECKABLE references of this
work were clean at the dated check: each resolved to a known work in a public registry, and none
carried a retraction notice at that time. It says nothing about the quality, findings,
or importance of the work itself, and nothing about references deposited without a DOI.
checked 2026-08-10 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record
Embed this badge
Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.
<a href="https://citestamp.com/citestamped/10.1007/s10878-014-9731-3"><img src="https://citestamp.com/citestamped/10.1007/s10878-014-9731-3/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[](https://citestamp.com/citestamped/10.1007/s10878-014-9731-3)