{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:JG6FK5MN62YQXBKNXARGL4ZVRS","short_pith_number":"pith:JG6FK5MN","schema_version":"1.0","canonical_sha256":"49bc55758df6b10b854db82265f3358ca9caa5b69ed8dcc87b027202c3550360","source":{"kind":"arxiv","id":"1401.3872","version":1},"attestation_state":"computed","paper":{"title":"Second-Order Consistencies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Christophe Lecoutre, Julien Vion, Stephane Cardon","submitted_at":"2014-01-16T05:09:30Z","abstract_excerpt":"In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build a full picture of the relationships existing between four basic second-order consistencies, namely path consistency (PC), 3-consistency (3C), dual consistency (DC) and 2-singleton arc consistency (2SAC), as well as their conservative and strong variants. Interestingly, dual consistency is an original property that can be established by using the outcome of the enforcement of generalized arc consistency (GAC), which ma"},"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.3872","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:09:30Z","cross_cats_sorted":[],"title_canon_sha256":"76a3e7bb69d527a58ac0d4779f8253ec207fea3d4b43ae7f3c409d086deb610a","abstract_canon_sha256":"83330e7f9cd7211a89d515b1411ee659d1d061e603b7a6fa8e3a4321e048a438"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:06.349133Z","signature_b64":"lD9N7yxTlmgCp6DtkPs/a00qYQ1EWJts4NSjSVjvDf3SVG6846cxxa8k4ZloKwq+O45tfAncBPhAtXh8oNSlAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49bc55758df6b10b854db82265f3358ca9caa5b69ed8dcc87b027202c3550360","last_reissued_at":"2026-05-18T03:02:06.348627Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:06.348627Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Second-Order Consistencies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Christophe Lecoutre, Julien Vion, Stephane Cardon","submitted_at":"2014-01-16T05:09:30Z","abstract_excerpt":"In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build a full picture of the relationships existing between four basic second-order consistencies, namely path consistency (PC), 3-consistency (3C), dual consistency (DC) and 2-singleton arc consistency (2SAC), as well as their conservative and strong variants. Interestingly, dual consistency is an original property that can be established by using the outcome of the enforcement of generalized arc consistency (GAC), which ma"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3872","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.3872","created_at":"2026-05-18T03:02:06.348705+00:00"},{"alias_kind":"arxiv_version","alias_value":"1401.3872v1","created_at":"2026-05-18T03:02:06.348705+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3872","created_at":"2026-05-18T03:02:06.348705+00:00"},{"alias_kind":"pith_short_12","alias_value":"JG6FK5MN62YQ","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_16","alias_value":"JG6FK5MN62YQXBKN","created_at":"2026-05-18T12:28:33.132498+00:00"},{"alias_kind":"pith_short_8","alias_value":"JG6FK5MN","created_at":"2026-05-18T12:28:33.132498+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/JG6FK5MN62YQXBKNXARGL4ZVRS","json":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS.json","graph_json":"https://pith.science/api/pith-number/JG6FK5MN62YQXBKNXARGL4ZVRS/graph.json","events_json":"https://pith.science/api/pith-number/JG6FK5MN62YQXBKNXARGL4ZVRS/events.json","paper":"https://pith.science/paper/JG6FK5MN"},"agent_actions":{"view_html":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS","download_json":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS.json","view_paper":"https://pith.science/paper/JG6FK5MN","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1401.3872&json=true","fetch_graph":"https://pith.science/api/pith-number/JG6FK5MN62YQXBKNXARGL4ZVRS/graph.json","fetch_events":"https://pith.science/api/pith-number/JG6FK5MN62YQXBKNXARGL4ZVRS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS/action/storage_attestation","attest_author":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS/action/author_attestation","sign_citation":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS/action/citation_signature","submit_replication":"https://pith.science/pith/JG6FK5MN62YQXBKNXARGL4ZVRS/action/replication_record"}},"created_at":"2026-05-18T03:02:06.348705+00:00","updated_at":"2026-05-18T03:02:06.348705+00:00"}