{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:RPUN44SADA27FUIOWKCFD46SJN","short_pith_number":"pith:RPUN44SA","schema_version":"1.0","canonical_sha256":"8be8de72401835f2d10eb28451f3d24b6ea65e9d2088c45925103ce67bb5fa6f","source":{"kind":"arxiv","id":"1401.3430","version":1},"attestation_state":"computed","paper":{"title":"A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Lucas Bordeaux, Marco Cadoli, Toni Mancini","submitted_at":"2014-01-15T04:47:30Z","abstract_excerpt":"Literature on Constraint Satisfaction exhibits the definition of several structural properties that can be possessed by CSPs, like (in)consistency, substitutability or interchangeability. Current tools for constraint solving typically detect such properties efficiently by means of incomplete yet effective algorithms, and use them to reduce the search space and boost search.\n  In this paper, we provide a unifying framework encompassing most of the properties known so far, both in CSP and other fields literature, and shed light on the semantical relationships among them. This gives a unified and"},"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.3430","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-15T04:47:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"455bcd507fb9ade88cc8981780d439a73e3b2f6ccd040b0da070db9b79b69676","abstract_canon_sha256":"d1227d5907548451358530096feae6e122c3266d586a611a889d4c9274e5ccca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:09.252026Z","signature_b64":"6sV++fpHuTsp2jtryQUoxDs1dfDdlxLSWuDbxgSP+agR7ZZRMw6xmjwgrCDayjVPd+UArzUfZYOxnbDtEdTXAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8be8de72401835f2d10eb28451f3d24b6ea65e9d2088c45925103ce67bb5fa6f","last_reissued_at":"2026-05-18T03:02:09.251283Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:09.251283Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Lucas Bordeaux, Marco Cadoli, Toni Mancini","submitted_at":"2014-01-15T04:47:30Z","abstract_excerpt":"Literature on Constraint Satisfaction exhibits the definition of several structural properties that can be possessed by CSPs, like (in)consistency, substitutability or interchangeability. Current tools for constraint solving typically detect such properties efficiently by means of incomplete yet effective algorithms, and use them to reduce the search space and boost search.\n  In this paper, we provide a unifying framework encompassing most of the properties known so far, both in CSP and other fields literature, and shed light on the semantical relationships among them. This gives a unified and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3430","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.3430","created_at":"2026-05-18T03:02:09.251410+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3430v1","created_at":"2026-05-18T03:02:09.251410+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3430","created_at":"2026-05-18T03:02:09.251410+00:00"},{"alias_kind":"pith_short_12","alias_value":"RPUN44SADA27","created_at":"2026-05-18T12:28:46.137349+00:00"},{"alias_kind":"pith_short_16","alias_value":"RPUN44SADA27FUIO","created_at":"2026-05-18T12:28:46.137349+00:00"},{"alias_kind":"pith_short_8","alias_value":"RPUN44SA","created_at":"2026-05-18T12:28:46.137349+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/RPUN44SADA27FUIOWKCFD46SJN","json":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN.json","graph_json":"https://pith.science/api/pith-number/RPUN44SADA27FUIOWKCFD46SJN/graph.json","events_json":"https://pith.science/api/pith-number/RPUN44SADA27FUIOWKCFD46SJN/events.json","paper":"https://pith.science/paper/RPUN44SA"},"agent_actions":{"view_html":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN","download_json":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN.json","view_paper":"https://pith.science/paper/RPUN44SA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3430&json=true","fetch_graph":"https://pith.science/api/pith-number/RPUN44SADA27FUIOWKCFD46SJN/graph.json","fetch_events":"https://pith.science/api/pith-number/RPUN44SADA27FUIOWKCFD46SJN/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN/action/storage_attestation","attest_author":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN/action/author_attestation","sign_citation":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN/action/citation_signature","submit_replication":"https://pith.science/pith/RPUN44SADA27FUIOWKCFD46SJN/action/replication_record"}},"created_at":"2026-05-18T03:02:09.251410+00:00","updated_at":"2026-05-18T03:02:09.251410+00:00"}