{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "moser-tardos-constructive-local-lemma-2010",
    "title": "Moser and Tardos: a constructive proof of the general Lovász local lemma",
    "summary": "Gave a randomized resampling algorithm and analysis making a broad variable-setting form of the Lovász local lemma constructive under the paper's conditions.",
    "boundary": "The record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.",
    "area": "Combinatorics and discrete mathematics",
    "topic": "Mathematics",
    "year": 2010,
    "lane": "HUMAN",
    "result": "ALGORITHM",
    "package_id": "moser-tardos-constructive-local-lemma-2010",
    "target": {
      "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
      "version": 1,
      "content_hash": "sha256:b08d121466095881de125a2a9eb8f59b1d20ef69266600fc54c89e295ed84f10"
    },
    "humans": [
      "Robin A. Moser",
      "Gábor Tardos"
    ],
    "authors_complete": true,
    "human_role_note": "The named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.",
    "agents": [],
    "related": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "dblp-moser-tardos-2010",
        "title": "DBLP record for constructive local lemma",
        "url": "https://dblp.org/rec/journals/jacm/MoserT10.html"
      },
      {
        "id": "arxiv-moser-tardos-2009",
        "title": "Moser-Tardos author manuscript",
        "url": "https://arxiv.org/abs/0903.0544"
      }
    ],
    "geography": {
      "country_codes": [
        "CH",
        "CA",
        "HU",
        "US"
      ],
      "location_basis": "Documented research locations or paper affiliations for this contribution. Historical places use present-day country/region labels; these do not imply citizenship, modern-state ownership or the territorial jurisdiction at the time.",
      "source_url": "https://page.math.tu-berlin.de/~felsner/Lehre/SemProbMeth/01a-Moser%2BTardos.pdf",
      "target": {
        "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
        "version": 1,
        "content_hash": "sha256:b08d121466095881de125a2a9eb8f59b1d20ef69266600fc54c89e295ed84f10"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-09-26",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Attribution source",
          "url": "https://page.math.tu-berlin.de/~felsner/Lehre/SemProbMeth/01a-Moser%2BTardos.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "CH": "Switzerland",
        "CA": "Canada",
        "HU": "Hungary",
        "US": "United States"
      }
    },
    "points": "190000",
    "published_grade": {
      "id": "moser-tardos-constructive-local-lemma-2010",
      "entry_id": "moser-tardos-constructive-local-lemma-2010",
      "band": "A",
      "modifier": "+",
      "target": {
        "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
        "version": 1,
        "content_hash": "sha256:b08d121466095881de125a2a9eb8f59b1d20ef69266600fc54c89e295ed84f10"
      },
      "what_changed": "Gave a randomized bad-event resampling algorithm with an analysis making the variable form of the local lemma constructive.",
      "scope": "The record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
        "version": 1,
        "content_hash": "sha256:b08d121466095881de125a2a9eb8f59b1d20ef69266600fc54c89e295ed84f10"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-09-25T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Robin A. Moser",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "DBLP record for constructive local lemma",
            "url": "https://dblp.org/rec/journals/jacm/MoserT10.html"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Gábor Tardos",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "DBLP record for constructive local lemma",
            "url": "https://dblp.org/rec/journals/jacm/MoserT10.html"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "DBLP record for constructive local lemma",
            "url": "https://dblp.org/rec/journals/jacm/MoserT10.html"
          }
        },
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-1",
          "kind": "source_reference",
          "source": {
            "citation": "Moser-Tardos author manuscript",
            "url": "https://arxiv.org/abs/0903.0544"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.",
        "domain": "Combinatorics and discrete mathematics"
      },
      "sources": [
        {
          "citation": "DBLP record for constructive local lemma",
          "url": "https://dblp.org/rec/journals/jacm/MoserT10.html"
        },
        {
          "citation": "Moser-Tardos author manuscript",
          "url": "https://arxiv.org/abs/0903.0544"
        }
      ],
      "statement": "# Moser and Tardos: a constructive proof of the general Lovász local lemma\n\nGave a randomized resampling algorithm and analysis making a broad variable-setting form of the Lovász local lemma constructive under the paper's conditions.\n\n## Scientific scope\n\nThe record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.\n\n## Reading status\n\nThis is a source-linked WRS catalogue note. A full explanatory guide and independent scientific reconstruction have not been completed for this entry. Read the identified original work for its complete narrative and arguments.\n\n## People and systems\n\nRobin A. Moser; Gábor Tardos\n\nThe named authors contributed to this scoped work; individual effort shares and later applications are not assigned by the byline.\n\n\n\n## Original sources\n\n- [DBLP record for constructive local lemma](https://dblp.org/rec/journals/jacm/MoserT10.html)\n- [Moser-Tardos author manuscript](https://arxiv.org/abs/0903.0544)\n",
      "summary": "Gave a randomized resampling algorithm and analysis making a broad variable-setting form of the Lovász local lemma constructive under the paper's conditions.",
      "title": "Moser and Tardos: a constructive proof of the general Lovász local lemma"
    },
    "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
      "version": 1,
      "content_hash": "sha256:b08d121466095881de125a2a9eb8f59b1d20ef69266600fc54c89e295ed84f10"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:e9a02d184feb1d960382933a8bd703b814c918a42ded0034a351b45f3c73129d"
  },
  "target": {
    "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
    "version": 1,
    "content_hash": "sha256:b08d121466095881de125a2a9eb8f59b1d20ef69266600fc54c89e295ed84f10"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "moser-tardos-constructive-local-lemma-2010",
    "entry_id": "moser-tardos-constructive-local-lemma-2010",
    "revision": 1,
    "title": "Moser and Tardos: a constructive proof of the general Lovász local lemma",
    "context": "Combinatorics and discrete mathematics",
    "track": "ALGORITHM",
    "band": "A",
    "modifier": "+",
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-09-25",
    "evidence_cutoff": "2026-09-25",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Gave a randomized bad-event resampling algorithm with an analysis making the variable form of the local lemma constructive.",
    "scope": "The record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.",
    "evidence_summary": "The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact two-author Journal of the ACM paper, posted in 2009 and published in 2010. It does not absorb the original existential lemma, Beck's earlier constructive bounds or later parallel and distributed variants.",
    "references": [
      {
        "title": "Moser-Tardos author manuscript",
        "url": "https://arxiv.org/abs/0903.0544",
        "locator": "Source for the stated contribution; scientific claims remain bounded to the linked work."
      }
    ],
    "roles": [
      {
        "who": "Robin A. Moser",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      },
      {
        "who": "Gábor Tardos",
        "credit": "SCIENCE",
        "did": "Named source author of the scoped work; individual effort shares are not measured."
      }
    ],
    "target": {
      "record_id": "urn:uuid:7a73c433-5e6d-4f70-a1ab-3ffc9a41f287",
      "version": 1,
      "content_hash": "sha256:b08d121466095881de125a2a9eb8f59b1d20ef69266600fc54c89e295ed84f10"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "190000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}