{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:SPEIMFUBQJHOMLQM6TDTFP7XJ3","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ad308be288f5edf3acc158cff16f1dc613ad013c12b772fdab47710255069dc1","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-18T08:42:22Z","title_canon_sha256":"1cc630a2bec26be7f122b48d158afd68d43a1530d78463af22a69f6249ecccbd"},"schema_version":"1.0","source":{"id":"1304.5051","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.5051","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"arxiv_version","alias_value":"1304.5051v1","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.5051","created_at":"2026-05-18T03:27:41Z"},{"alias_kind":"pith_short_12","alias_value":"SPEIMFUBQJHO","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SPEIMFUBQJHOMLQM","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SPEIMFUB","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:bfc95e3fa15996d8388cdc8d1f85080c9f8fd85430cf9219225075a87289a61c","target":"graph","created_at":"2026-05-18T03:27:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"One of the key research interests in the area of Constraint Satisfaction Problem (CSP) is to identify tractable classes of constraints and develop efficient solutions for them. In this paper, we introduce generalized staircase (GS) constraints which is an important generalization of one such tractable class found in the literature, namely, staircase constraints. GS constraints are of two kinds, down staircase (DS) and up staircase (US). We first examine several properties of GS constraints, and then show that arc consistency is sufficient to determine a solution to a CSP over DS constraints. F","authors_text":"Arnab Bhattacharya, Partha Dutta, Shubhadip Mitra","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-18T08:42:22Z","title":"Constraint Satisfaction over Generalized Staircase Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.5051","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a15a9092739a98de2ec03dfebbd557c94a39cc394f52e3d003cd24e43b1b1839","target":"record","created_at":"2026-05-18T03:27:41Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ad308be288f5edf3acc158cff16f1dc613ad013c12b772fdab47710255069dc1","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-04-18T08:42:22Z","title_canon_sha256":"1cc630a2bec26be7f122b48d158afd68d43a1530d78463af22a69f6249ecccbd"},"schema_version":"1.0","source":{"id":"1304.5051","kind":"arxiv","version":1}},"canonical_sha256":"93c8861681824ee62e0cf4c732bff74ed9978400a790ee8e55bf6c96684d535b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"93c8861681824ee62e0cf4c732bff74ed9978400a790ee8e55bf6c96684d535b","first_computed_at":"2026-05-18T03:27:41.955484Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:27:41.955484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cw9cm7SEWiemk85yb3CnVQIUWr0mdM8IHh/i5KdoFN8d7Rjfvv+CVLv43OUdbilrbh/pHx1xd0RSatMzVNOrDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:27:41.956823Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.5051","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a15a9092739a98de2ec03dfebbd557c94a39cc394f52e3d003cd24e43b1b1839","sha256:bfc95e3fa15996d8388cdc8d1f85080c9f8fd85430cf9219225075a87289a61c"],"state_sha256":"2645bae81a78b6aec37298f29d5c678f08028cd3e396c88e81c968cb5878172d"}