{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:5NZYAJFUBOKM7JTLNDOSII44TU","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":"08156cc17a2f2f1a00f33fa8d37737c21404e6ed979aeee3ae5d12dc44477475","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-27T08:23:52Z","title_canon_sha256":"9000e4d8e465235f252236f049bcceba620a773b29ac924ec584ca8b6b9577da"},"schema_version":"1.0","source":{"id":"1309.7145","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1309.7145","created_at":"2026-05-18T03:12:00Z"},{"alias_kind":"arxiv_version","alias_value":"1309.7145v1","created_at":"2026-05-18T03:12:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1309.7145","created_at":"2026-05-18T03:12:00Z"},{"alias_kind":"pith_short_12","alias_value":"5NZYAJFUBOKM","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"5NZYAJFUBOKM7JTL","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"5NZYAJFU","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:9ce1b4cebee33613987aa1f889e94ca6639b7649f3533db382afc25f41eac28d","target":"graph","created_at":"2026-05-18T03:12:00Z","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":"Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling. Moreover, the wide variety of such constraints in practical applications led to general modelling techniques and generic propagation algorithms, often based on deterministic finite automata (DFA) and their extensions. We consider counter-DFAs (cDFA), which provide concise models for regular counting constraints, that is constraints over the number of times a regular-language pattern occurs in a sequence. We show how to enforce domain consistency in polynomial time for atmost and atleast regular countin","authors_text":"Justin Pearson, Nicolas Beldiceanu, Pascal Van Hentenryck, Pierre Flener","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-27T08:23:52Z","title":"Propagating Regular Counting Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1309.7145","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:7a1cd7f9bb2f7997171b72da1d90d68afcadfd6af2f2afd747867b36741e0880","target":"record","created_at":"2026-05-18T03:12:00Z","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":"08156cc17a2f2f1a00f33fa8d37737c21404e6ed979aeee3ae5d12dc44477475","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-09-27T08:23:52Z","title_canon_sha256":"9000e4d8e465235f252236f049bcceba620a773b29ac924ec584ca8b6b9577da"},"schema_version":"1.0","source":{"id":"1309.7145","kind":"arxiv","version":1}},"canonical_sha256":"eb738024b40b94cfa66b68dd24239c9d2aacda9c36163883c88bbe886cb1b6a3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"eb738024b40b94cfa66b68dd24239c9d2aacda9c36163883c88bbe886cb1b6a3","first_computed_at":"2026-05-18T03:12:00.105248Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:12:00.105248Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+Bx36IcUw+FfxVn1fJOvyBzPnmRwSmfueuxG6bbfuUZGOCvetTvSCjwUMStalWJdiDACFaCv6om5JzUNSrYqAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:12:00.105914Z","signed_message":"canonical_sha256_bytes"},"source_id":"1309.7145","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a1cd7f9bb2f7997171b72da1d90d68afcadfd6af2f2afd747867b36741e0880","sha256:9ce1b4cebee33613987aa1f889e94ca6639b7649f3533db382afc25f41eac28d"],"state_sha256":"99fa8e8997de1a055dcb84d9a5b58320c268ced5212f038c0bda54a79aae73a1"}