{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:7GNDGJMQDIRREPJHXJWLNCUA2B","short_pith_number":"pith:7GNDGJMQ","canonical_record":{"source":{"id":"1109.1774","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-08T17:09:00Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"3a1baa32e4f75d42d45b3bbb77f12426eeb79ef67de0def3b0472bcc3f868cd1","abstract_canon_sha256":"46fef4f37647a1537e6123651fa2a4a5e9e2cc9ffdaba287d6e235d452d247ff"},"schema_version":"1.0"},"canonical_sha256":"f99a3325901a23123d27ba6cb68a80d043772856d5c901ddcda8bbd544056f9b","source":{"kind":"arxiv","id":"1109.1774","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.1774","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"arxiv_version","alias_value":"1109.1774v1","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.1774","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"pith_short_12","alias_value":"7GNDGJMQDIRR","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7GNDGJMQDIRREPJH","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7GNDGJMQ","created_at":"2026-05-18T12:26:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:7GNDGJMQDIRREPJHXJWLNCUA2B","target":"record","payload":{"canonical_record":{"source":{"id":"1109.1774","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-08T17:09:00Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"3a1baa32e4f75d42d45b3bbb77f12426eeb79ef67de0def3b0472bcc3f868cd1","abstract_canon_sha256":"46fef4f37647a1537e6123651fa2a4a5e9e2cc9ffdaba287d6e235d452d247ff"},"schema_version":"1.0"},"canonical_sha256":"f99a3325901a23123d27ba6cb68a80d043772856d5c901ddcda8bbd544056f9b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:36.848271Z","signature_b64":"E3g+Ro7UJ5x7X+FtoRg5p2pbZeKrZ0NlYWfmDmQrsys65lZZV5XT1kDqOYH78lwaJOMkePu7DO+aFG2BcM0BBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f99a3325901a23123d27ba6cb68a80d043772856d5c901ddcda8bbd544056f9b","last_reissued_at":"2026-05-18T02:21:36.847821Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:36.847821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1109.1774","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:21:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QTWne47o/TSavhII2/yYK5aSEXUzuBmvQxGgEaaD17E/A6WP9oToBaVHzNz8wfOg+djKDUfJEsiuPXI6n36mDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:59:29.339696Z"},"content_sha256":"66aedcccd76e454398fb812f42bf4cdcf0e6b80ee97c7e9d67375ab1e0a4c8e3","schema_version":"1.0","event_id":"sha256:66aedcccd76e454398fb812f42bf4cdcf0e6b80ee97c7e9d67375ab1e0a4c8e3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:7GNDGJMQDIRREPJHXJWLNCUA2B","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Conjure Revisited: Towards Automated Constraint Modelling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AI","authors_text":"Alan M. Frisch, Brahim Hnich, Chris Jefferson, Ian Miguel, Ozgur Akgun","submitted_at":"2011-09-08T17:09:00Z","abstract_excerpt":"Automating the constraint modelling process is one of the key challenges facing the constraints field, and one of the principal obstacles preventing widespread adoption of constraint solving. This paper focuses on the refinement-based approach to automated modelling, where a user specifies a problem in an abstract constraint specification language and it is then automatically refined into a constraint model. In particular, we revisit the Conjure system that first appeared in prototype form in 2005 and present a new implementation with a much greater coverage of the specification language Essen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.1774","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:21:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"58sayLaKeaGMXPyB2VgZP97VBc6lxIQ9k3HxMT7NhyivdyPI3SA9xtrbx9xmjymyHX26a3Hs38RyXRNJw66XCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T06:59:29.340414Z"},"content_sha256":"b91db49158d7b9aca1e6b8ff3f84bd7933f3b37c2bde4ab2ee90822a93e973f8","schema_version":"1.0","event_id":"sha256:b91db49158d7b9aca1e6b8ff3f84bd7933f3b37c2bde4ab2ee90822a93e973f8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7GNDGJMQDIRREPJHXJWLNCUA2B/bundle.json","state_url":"https://pith.science/pith/7GNDGJMQDIRREPJHXJWLNCUA2B/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7GNDGJMQDIRREPJHXJWLNCUA2B/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-27T06:59:29Z","links":{"resolver":"https://pith.science/pith/7GNDGJMQDIRREPJHXJWLNCUA2B","bundle":"https://pith.science/pith/7GNDGJMQDIRREPJHXJWLNCUA2B/bundle.json","state":"https://pith.science/pith/7GNDGJMQDIRREPJHXJWLNCUA2B/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7GNDGJMQDIRREPJHXJWLNCUA2B/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:7GNDGJMQDIRREPJHXJWLNCUA2B","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":"46fef4f37647a1537e6123651fa2a4a5e9e2cc9ffdaba287d6e235d452d247ff","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-08T17:09:00Z","title_canon_sha256":"3a1baa32e4f75d42d45b3bbb77f12426eeb79ef67de0def3b0472bcc3f868cd1"},"schema_version":"1.0","source":{"id":"1109.1774","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.1774","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"arxiv_version","alias_value":"1109.1774v1","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.1774","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"pith_short_12","alias_value":"7GNDGJMQDIRR","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_16","alias_value":"7GNDGJMQDIRREPJH","created_at":"2026-05-18T12:26:22Z"},{"alias_kind":"pith_short_8","alias_value":"7GNDGJMQ","created_at":"2026-05-18T12:26:22Z"}],"graph_snapshots":[{"event_id":"sha256:b91db49158d7b9aca1e6b8ff3f84bd7933f3b37c2bde4ab2ee90822a93e973f8","target":"graph","created_at":"2026-05-18T02:21:36Z","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":"Automating the constraint modelling process is one of the key challenges facing the constraints field, and one of the principal obstacles preventing widespread adoption of constraint solving. This paper focuses on the refinement-based approach to automated modelling, where a user specifies a problem in an abstract constraint specification language and it is then automatically refined into a constraint model. In particular, we revisit the Conjure system that first appeared in prototype form in 2005 and present a new implementation with a much greater coverage of the specification language Essen","authors_text":"Alan M. Frisch, Brahim Hnich, Chris Jefferson, Ian Miguel, Ozgur Akgun","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-08T17:09:00Z","title":"Conjure Revisited: Towards Automated Constraint Modelling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.1774","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:66aedcccd76e454398fb812f42bf4cdcf0e6b80ee97c7e9d67375ab1e0a4c8e3","target":"record","created_at":"2026-05-18T02:21:36Z","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":"46fef4f37647a1537e6123651fa2a4a5e9e2cc9ffdaba287d6e235d452d247ff","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-09-08T17:09:00Z","title_canon_sha256":"3a1baa32e4f75d42d45b3bbb77f12426eeb79ef67de0def3b0472bcc3f868cd1"},"schema_version":"1.0","source":{"id":"1109.1774","kind":"arxiv","version":1}},"canonical_sha256":"f99a3325901a23123d27ba6cb68a80d043772856d5c901ddcda8bbd544056f9b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f99a3325901a23123d27ba6cb68a80d043772856d5c901ddcda8bbd544056f9b","first_computed_at":"2026-05-18T02:21:36.847821Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:36.847821Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E3g+Ro7UJ5x7X+FtoRg5p2pbZeKrZ0NlYWfmDmQrsys65lZZV5XT1kDqOYH78lwaJOMkePu7DO+aFG2BcM0BBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:36.848271Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.1774","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:66aedcccd76e454398fb812f42bf4cdcf0e6b80ee97c7e9d67375ab1e0a4c8e3","sha256:b91db49158d7b9aca1e6b8ff3f84bd7933f3b37c2bde4ab2ee90822a93e973f8"],"state_sha256":"ff48f25160466c91bcef53564707073c950895f507d9bb7c621e2fe14e1ce5ed"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3iGTwM2KYUt5mcmvZn75eCcqm7sL937HZ6M3kEA/onalv2xXbn0we+SonyFHpdIKjST9oX6/m7T0ImKhDEJRDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T06:59:29.344531Z","bundle_sha256":"1918077417006631cdbb05fd7d17e04f9c22da0108613ac19b146d715758f6c8"}}