{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4SDZZR6V23L2633F3ZM2YLSHWO","short_pith_number":"pith:4SDZZR6V","canonical_record":{"source":{"id":"1308.0227","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-01T14:40:14Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ab0186a416fcecace653498d79aa605d13bf076243e72d281affa63ba13c7577","abstract_canon_sha256":"a1a47cb5c41992e4878b2fc3a0abeb13c63b87e97cafd0348d2ea4ce7fcc00b5"},"schema_version":"1.0"},"canonical_sha256":"e4879cc7d5d6d7af6f65de59ac2e47b392365c37dadb8e3f8adc8c3cd64a2f46","source":{"kind":"arxiv","id":"1308.0227","version":7},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0227","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0227v7","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0227","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"pith_short_12","alias_value":"4SDZZR6V23L2","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4SDZZR6V23L2633F","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4SDZZR6V","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4SDZZR6V23L2633F3ZM2YLSHWO","target":"record","payload":{"canonical_record":{"source":{"id":"1308.0227","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-01T14:40:14Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ab0186a416fcecace653498d79aa605d13bf076243e72d281affa63ba13c7577","abstract_canon_sha256":"a1a47cb5c41992e4878b2fc3a0abeb13c63b87e97cafd0348d2ea4ce7fcc00b5"},"schema_version":"1.0"},"canonical_sha256":"e4879cc7d5d6d7af6f65de59ac2e47b392365c37dadb8e3f8adc8c3cd64a2f46","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:04.042304Z","signature_b64":"shKB1OofJr6hzNG/LRQrcDYWi1elDxNWCFWy4Chn7LkCQHC2ENcZMJRONaLwWxbFTd9ceJTEBkBzuqYqWgICDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e4879cc7d5d6d7af6f65de59ac2e47b392365c37dadb8e3f8adc8c3cd64a2f46","last_reissued_at":"2026-05-18T02:55:04.041706Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:04.041706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.0227","source_version":7,"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:55:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NoQbCN9Lyzc9nBxlS8hNYsCgyVsGdFi2dPzGft9dqE1YNrFWUuX3xYN9qEfUklNPi2tbynqC/OLgN9tEdlzGCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:06:43.474037Z"},"content_sha256":"ff95fb759f49ca1d122bf4af7352ca2722c85833e54f7a90201ab8d782b72af8","schema_version":"1.0","event_id":"sha256:ff95fb759f49ca1d122bf4af7352ca2722c85833e54f7a90201ab8d782b72af8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4SDZZR6V23L2633F3ZM2YLSHWO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Enhanced Features Extractor for a Portfolio of Constraint Solvers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Jacopo Mauro, Maurizio Gabbrielli, Roberto Amadini","submitted_at":"2013-08-01T14:40:14Z","abstract_excerpt":"Recent research has shown that a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers. The solver selection is usually done by means of (un)supervised learning techniques which exploit features extracted from the problem specification. In this paper we present an useful and flexible framework that is able to extract an extensive set of features from a Constraint (Satisfaction/Optimization) Problem defined in possibly different modeling languages: MiniZinc, FlatZinc or XCSP. We also report some empirical results showing that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0227","kind":"arxiv","version":7},"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:55:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FvPnqRC5r8ch6snxTOgs3EJFGHIBmZYN+LJQ6TJH/TyIm55HZ7LuCZYfREirwAWRba+U3AaymEsGgKcOv5VEBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:06:43.474825Z"},"content_sha256":"ddd00b877f45653874ab7c22eeb2dd63b383c98565cb64257d25f5f61de74503","schema_version":"1.0","event_id":"sha256:ddd00b877f45653874ab7c22eeb2dd63b383c98565cb64257d25f5f61de74503"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4SDZZR6V23L2633F3ZM2YLSHWO/bundle.json","state_url":"https://pith.science/pith/4SDZZR6V23L2633F3ZM2YLSHWO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4SDZZR6V23L2633F3ZM2YLSHWO/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-05T06:06:43Z","links":{"resolver":"https://pith.science/pith/4SDZZR6V23L2633F3ZM2YLSHWO","bundle":"https://pith.science/pith/4SDZZR6V23L2633F3ZM2YLSHWO/bundle.json","state":"https://pith.science/pith/4SDZZR6V23L2633F3ZM2YLSHWO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4SDZZR6V23L2633F3ZM2YLSHWO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4SDZZR6V23L2633F3ZM2YLSHWO","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":"a1a47cb5c41992e4878b2fc3a0abeb13c63b87e97cafd0348d2ea4ce7fcc00b5","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-01T14:40:14Z","title_canon_sha256":"ab0186a416fcecace653498d79aa605d13bf076243e72d281affa63ba13c7577"},"schema_version":"1.0","source":{"id":"1308.0227","kind":"arxiv","version":7}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0227","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0227v7","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0227","created_at":"2026-05-18T02:55:04Z"},{"alias_kind":"pith_short_12","alias_value":"4SDZZR6V23L2","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4SDZZR6V23L2633F","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4SDZZR6V","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:ddd00b877f45653874ab7c22eeb2dd63b383c98565cb64257d25f5f61de74503","target":"graph","created_at":"2026-05-18T02:55:04Z","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":"Recent research has shown that a single arbitrarily efficient solver can be significantly outperformed by a portfolio of possibly slower on-average solvers. The solver selection is usually done by means of (un)supervised learning techniques which exploit features extracted from the problem specification. In this paper we present an useful and flexible framework that is able to extract an extensive set of features from a Constraint (Satisfaction/Optimization) Problem defined in possibly different modeling languages: MiniZinc, FlatZinc or XCSP. We also report some empirical results showing that ","authors_text":"Jacopo Mauro, Maurizio Gabbrielli, Roberto Amadini","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-01T14:40:14Z","title":"An Enhanced Features Extractor for a Portfolio of Constraint Solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0227","kind":"arxiv","version":7},"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:ff95fb759f49ca1d122bf4af7352ca2722c85833e54f7a90201ab8d782b72af8","target":"record","created_at":"2026-05-18T02:55:04Z","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":"a1a47cb5c41992e4878b2fc3a0abeb13c63b87e97cafd0348d2ea4ce7fcc00b5","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-08-01T14:40:14Z","title_canon_sha256":"ab0186a416fcecace653498d79aa605d13bf076243e72d281affa63ba13c7577"},"schema_version":"1.0","source":{"id":"1308.0227","kind":"arxiv","version":7}},"canonical_sha256":"e4879cc7d5d6d7af6f65de59ac2e47b392365c37dadb8e3f8adc8c3cd64a2f46","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e4879cc7d5d6d7af6f65de59ac2e47b392365c37dadb8e3f8adc8c3cd64a2f46","first_computed_at":"2026-05-18T02:55:04.041706Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:55:04.041706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"shKB1OofJr6hzNG/LRQrcDYWi1elDxNWCFWy4Chn7LkCQHC2ENcZMJRONaLwWxbFTd9ceJTEBkBzuqYqWgICDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:55:04.042304Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.0227","source_kind":"arxiv","source_version":7}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff95fb759f49ca1d122bf4af7352ca2722c85833e54f7a90201ab8d782b72af8","sha256:ddd00b877f45653874ab7c22eeb2dd63b383c98565cb64257d25f5f61de74503"],"state_sha256":"a4a8df5183c02769e4707de59ea6c9bbad35042c7c4eb231ad3c0d039fceee97"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1lRv2IWPS1g3Q2K3iqjsf35vAD6sPENQHgGWwLRk5kIGZel5FmL5u5+opt2JDMSUqLr5Ng6cl0MJ5qjAt/lOCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T06:06:43.478699Z","bundle_sha256":"a25cf970b8345c58bdc0d20def74a11663de91e784d2d40d848fee64af023510"}}