{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:GGHF7G4X7BJK6R536BIPSKHQXI","short_pith_number":"pith:GGHF7G4X","canonical_record":{"source":{"id":"1008.4326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-25T18:04:03Z","cross_cats_sorted":[],"title_canon_sha256":"1454f27f39be9cba50d8f29844997f1cb451a2d18c4561192f2925e68ce2b819","abstract_canon_sha256":"2487bace465adf331c2ae82ac7a37ac64cfb5d5b769721a248b08af7002a678d"},"schema_version":"1.0"},"canonical_sha256":"318e5f9b97f852af47bbf050f928f0ba13d8aee41836b64b504537d742925622","source":{"kind":"arxiv","id":"1008.4326","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.4326","created_at":"2026-05-18T04:41:53Z"},{"alias_kind":"arxiv_version","alias_value":"1008.4326v1","created_at":"2026-05-18T04:41:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.4326","created_at":"2026-05-18T04:41:53Z"},{"alias_kind":"pith_short_12","alias_value":"GGHF7G4X7BJK","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GGHF7G4X7BJK6R53","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GGHF7G4X","created_at":"2026-05-18T12:26:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:GGHF7G4X7BJK6R536BIPSKHQXI","target":"record","payload":{"canonical_record":{"source":{"id":"1008.4326","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-25T18:04:03Z","cross_cats_sorted":[],"title_canon_sha256":"1454f27f39be9cba50d8f29844997f1cb451a2d18c4561192f2925e68ce2b819","abstract_canon_sha256":"2487bace465adf331c2ae82ac7a37ac64cfb5d5b769721a248b08af7002a678d"},"schema_version":"1.0"},"canonical_sha256":"318e5f9b97f852af47bbf050f928f0ba13d8aee41836b64b504537d742925622","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:41:53.179689Z","signature_b64":"NlMRs39nIrTPOuVV7TPpEN/VcF94UqA4+tiAGriixvKEkQEp7uOUOXS1rKeZLmlCqPkrbg9qxm7qZBIUTSouAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"318e5f9b97f852af47bbf050f928f0ba13d8aee41836b64b504537d742925622","last_reissued_at":"2026-05-18T04:41:53.179001Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:41:53.179001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1008.4326","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-18T04:41:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9HkdkVIhWqxcvFEiCj+2OIw5il3hCY/gyF6wOuDW/+1zIgtjMV99WsLs4CZqH1uuZHM9fVg2pjTo/vZUbU7mDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:09:50.099076Z"},"content_sha256":"a70e28f3e4f8166e45716c37b1cf7fbedbdb66d2cb899f4b063ed4cda88efc4a","schema_version":"1.0","event_id":"sha256:a70e28f3e4f8166e45716c37b1cf7fbedbdb66d2cb899f4b063ed4cda88efc4a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:GGHF7G4X7BJK6R536BIPSKHQXI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Machine learning for constraint solver design -- A case study for the alldifferent constraint","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ian Gent, Ian Miguel, Lars Kotthoff, Peter Nightingale","submitted_at":"2010-08-25T18:04:03Z","abstract_excerpt":"Constraint solvers are complex pieces of software which require many design decisions to be made by the implementer based on limited information. These decisions affect the performance of the finished solver significantly. Once a design decision has been made, it cannot easily be reversed, although a different decision may be more appropriate for a particular problem.\n  We investigate using machine learning to make these decisions automatically depending on the problem to solve. We use the alldifferent constraint as a case study. Our system is capable of making non-trivial, multi-level decisio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.4326","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-18T04:41:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XydQejgJzO5drPQtSos89vE8BoPfLguErQ1s8kWmbEjX2WkslKCYdTRrYOMOY+2z1TeHZ1jZnXAMIASXsUn/BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:09:50.099432Z"},"content_sha256":"3c26a7b58ab920046bacc1df5b777c49cef7fac9448523869206801698fbc3e1","schema_version":"1.0","event_id":"sha256:3c26a7b58ab920046bacc1df5b777c49cef7fac9448523869206801698fbc3e1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GGHF7G4X7BJK6R536BIPSKHQXI/bundle.json","state_url":"https://pith.science/pith/GGHF7G4X7BJK6R536BIPSKHQXI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GGHF7G4X7BJK6R536BIPSKHQXI/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-06-03T07:09:50Z","links":{"resolver":"https://pith.science/pith/GGHF7G4X7BJK6R536BIPSKHQXI","bundle":"https://pith.science/pith/GGHF7G4X7BJK6R536BIPSKHQXI/bundle.json","state":"https://pith.science/pith/GGHF7G4X7BJK6R536BIPSKHQXI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GGHF7G4X7BJK6R536BIPSKHQXI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:GGHF7G4X7BJK6R536BIPSKHQXI","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":"2487bace465adf331c2ae82ac7a37ac64cfb5d5b769721a248b08af7002a678d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-25T18:04:03Z","title_canon_sha256":"1454f27f39be9cba50d8f29844997f1cb451a2d18c4561192f2925e68ce2b819"},"schema_version":"1.0","source":{"id":"1008.4326","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1008.4326","created_at":"2026-05-18T04:41:53Z"},{"alias_kind":"arxiv_version","alias_value":"1008.4326v1","created_at":"2026-05-18T04:41:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1008.4326","created_at":"2026-05-18T04:41:53Z"},{"alias_kind":"pith_short_12","alias_value":"GGHF7G4X7BJK","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_16","alias_value":"GGHF7G4X7BJK6R53","created_at":"2026-05-18T12:26:07Z"},{"alias_kind":"pith_short_8","alias_value":"GGHF7G4X","created_at":"2026-05-18T12:26:07Z"}],"graph_snapshots":[{"event_id":"sha256:3c26a7b58ab920046bacc1df5b777c49cef7fac9448523869206801698fbc3e1","target":"graph","created_at":"2026-05-18T04:41:53Z","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":"Constraint solvers are complex pieces of software which require many design decisions to be made by the implementer based on limited information. These decisions affect the performance of the finished solver significantly. Once a design decision has been made, it cannot easily be reversed, although a different decision may be more appropriate for a particular problem.\n  We investigate using machine learning to make these decisions automatically depending on the problem to solve. We use the alldifferent constraint as a case study. Our system is capable of making non-trivial, multi-level decisio","authors_text":"Ian Gent, Ian Miguel, Lars Kotthoff, Peter Nightingale","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-25T18:04:03Z","title":"Machine learning for constraint solver design -- A case study for the alldifferent constraint"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1008.4326","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:a70e28f3e4f8166e45716c37b1cf7fbedbdb66d2cb899f4b063ed4cda88efc4a","target":"record","created_at":"2026-05-18T04:41:53Z","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":"2487bace465adf331c2ae82ac7a37ac64cfb5d5b769721a248b08af7002a678d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2010-08-25T18:04:03Z","title_canon_sha256":"1454f27f39be9cba50d8f29844997f1cb451a2d18c4561192f2925e68ce2b819"},"schema_version":"1.0","source":{"id":"1008.4326","kind":"arxiv","version":1}},"canonical_sha256":"318e5f9b97f852af47bbf050f928f0ba13d8aee41836b64b504537d742925622","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"318e5f9b97f852af47bbf050f928f0ba13d8aee41836b64b504537d742925622","first_computed_at":"2026-05-18T04:41:53.179001Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:41:53.179001Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NlMRs39nIrTPOuVV7TPpEN/VcF94UqA4+tiAGriixvKEkQEp7uOUOXS1rKeZLmlCqPkrbg9qxm7qZBIUTSouAg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:41:53.179689Z","signed_message":"canonical_sha256_bytes"},"source_id":"1008.4326","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a70e28f3e4f8166e45716c37b1cf7fbedbdb66d2cb899f4b063ed4cda88efc4a","sha256:3c26a7b58ab920046bacc1df5b777c49cef7fac9448523869206801698fbc3e1"],"state_sha256":"f69c48179ca52e80601e5e4c197cb2f3b218a802c62b667e10db1d769022d3f9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9uObvBK/9kN9MCSxuFov/YIjDLOQEbkOzVn0LL9Syew0Fxca5NXIGNXeHCTk6RXDZi9xEeRBGHGgEUaa61d4BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:09:50.101416Z","bundle_sha256":"3452de51d63cd8d67226ec3a15a77e7f6761b66b591f3a76df56c3957402d7c8"}}