{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:SHJQQXRF367SSEXI2G5JYZO7KD","short_pith_number":"pith:SHJQQXRF","schema_version":"1.0","canonical_sha256":"91d3085e25dfbf2912e8d1ba9c65df50d1dc236ea58ceb989d63eaebc1d670fe","source":{"kind":"arxiv","id":"1401.3481","version":1},"attestation_state":"computed","paper":{"title":"Bounds Arc Consistency for Weighted CSPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Christine Gaspin, Matthias Zytnicki, Simon de Givry, Thomas Schiex","submitted_at":"2014-01-15T05:34:30Z","abstract_excerpt":"The Weighted Constraint Satisfaction Problem (WCSP) framework allows representing and solving problems involving both hard constraints and cost functions. It has been applied to various problems, including resource allocation, bioinformatics, scheduling, etc. To solve such problems, solvers usually rely on branch-and-bound algorithms equipped with local consistency filtering, mostly soft arc consistency.  However, these techniques are not well suited to solve problems with very large domains. Motivated by the resolution of an RNA gene localization problem inside large genomic sequences, and in"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1401.3481","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T05:34:30Z","cross_cats_sorted":[],"title_canon_sha256":"8a364b73a9c4c5aa7aa2c785936b1d6fc3ddd489f634b332c361e386f00902cf","abstract_canon_sha256":"cd702f63e0cf8f748f36688c4d1d974e1cc76f6b684508fcc5a5dcaec1e32638"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:08.768440Z","signature_b64":"gt6tmz12YujdbafphrsuKrgsth7hi5EyPy/mc5yu5qyQByydrpuzUFMguGHUK7NF5HrYxzE/y73aGYhU/KrYCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91d3085e25dfbf2912e8d1ba9c65df50d1dc236ea58ceb989d63eaebc1d670fe","last_reissued_at":"2026-05-18T03:02:08.767706Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:08.767706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Bounds Arc Consistency for Weighted CSPs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Christine Gaspin, Matthias Zytnicki, Simon de Givry, Thomas Schiex","submitted_at":"2014-01-15T05:34:30Z","abstract_excerpt":"The Weighted Constraint Satisfaction Problem (WCSP) framework allows representing and solving problems involving both hard constraints and cost functions. It has been applied to various problems, including resource allocation, bioinformatics, scheduling, etc. To solve such problems, solvers usually rely on branch-and-bound algorithms equipped with local consistency filtering, mostly soft arc consistency.  However, these techniques are not well suited to solve problems with very large domains. Motivated by the resolution of an RNA gene localization problem inside large genomic sequences, and in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3481","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1401.3481","created_at":"2026-05-18T03:02:08.767803+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3481v1","created_at":"2026-05-18T03:02:08.767803+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3481","created_at":"2026-05-18T03:02:08.767803+00:00"},{"alias_kind":"pith_short_12","alias_value":"SHJQQXRF367S","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_16","alias_value":"SHJQQXRF367SSEXI","created_at":"2026-05-18T12:28:49.207871+00:00"},{"alias_kind":"pith_short_8","alias_value":"SHJQQXRF","created_at":"2026-05-18T12:28:49.207871+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD","json":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD.json","graph_json":"https://pith.science/api/pith-number/SHJQQXRF367SSEXI2G5JYZO7KD/graph.json","events_json":"https://pith.science/api/pith-number/SHJQQXRF367SSEXI2G5JYZO7KD/events.json","paper":"https://pith.science/paper/SHJQQXRF"},"agent_actions":{"view_html":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD","download_json":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD.json","view_paper":"https://pith.science/paper/SHJQQXRF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3481&json=true","fetch_graph":"https://pith.science/api/pith-number/SHJQQXRF367SSEXI2G5JYZO7KD/graph.json","fetch_events":"https://pith.science/api/pith-number/SHJQQXRF367SSEXI2G5JYZO7KD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD/action/storage_attestation","attest_author":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD/action/author_attestation","sign_citation":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD/action/citation_signature","submit_replication":"https://pith.science/pith/SHJQQXRF367SSEXI2G5JYZO7KD/action/replication_record"}},"created_at":"2026-05-18T03:02:08.767803+00:00","updated_at":"2026-05-18T03:02:08.767803+00:00"}