{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:3WSUMZ46MFUE2VDZMYL4LBZE6Q","short_pith_number":"pith:3WSUMZ46","canonical_record":{"source":{"id":"cs/0603099","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PF","submitted_at":"2006-03-26T20:19:59Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"c3a6fa17fc32e7a02a3bff9184ed30a3ded001c6c7d5b9f6d25f2c1da4fa1fdc","abstract_canon_sha256":"0af9c1c9e06e7f0900bdffe38e8730b85f8244441a8c3b194a24c860fdb62462"},"schema_version":"1.0"},"canonical_sha256":"dda546679e61684d54796617c58724f43eb4bf8e25e15f9a23b0f9c4805d3ce7","source":{"kind":"arxiv","id":"cs/0603099","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0603099","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0603099v1","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0603099","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_12","alias_value":"3WSUMZ46MFUE","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_16","alias_value":"3WSUMZ46MFUE2VDZ","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_8","alias_value":"3WSUMZ46","created_at":"2026-07-04T14:53:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:3WSUMZ46MFUE2VDZMYL4LBZE6Q","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0603099","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.PF","submitted_at":"2006-03-26T20:19:59Z","cross_cats_sorted":["cs.SC"],"title_canon_sha256":"c3a6fa17fc32e7a02a3bff9184ed30a3ded001c6c7d5b9f6d25f2c1da4fa1fdc","abstract_canon_sha256":"0af9c1c9e06e7f0900bdffe38e8730b85f8244441a8c3b194a24c860fdb62462"},"schema_version":"1.0"},"canonical_sha256":"dda546679e61684d54796617c58724f43eb4bf8e25e15f9a23b0f9c4805d3ce7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:53:53.319467Z","signature_b64":"Mt2rpX3tBnXi3pKNuubTayNbw9OGp9GjCOZZ1Nq06yKJ/g2DScbWgoJDI/+74fCgMLpOL5Qsgt28fswzgtXMBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dda546679e61684d54796617c58724f43eb4bf8e25e15f9a23b0f9c4805d3ce7","last_reissued_at":"2026-07-04T14:53:53.319077Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:53:53.319077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0603099","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-07-04T14:53:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JpykNrjSUvxf3Z2KC7w/B7YQXlx74Gw/thcgpbaOJP6YwDt/vuF8OSIdz+o5FIQi2pnD3MaD7rvaNAywv50UCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T18:46:52.577340Z"},"content_sha256":"11b4dcc65ef0de817fddd0cfa8fcdb5abba00d06b38c37a641cde42daa6a4d4b","schema_version":"1.0","event_id":"sha256:11b4dcc65ef0de817fddd0cfa8fcdb5abba00d06b38c37a641cde42daa6a4d4b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:3WSUMZ46MFUE2VDZMYL4LBZE6Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Benchmark Problems for Constraint Solving","license":"","headline":"","cross_cats":["cs.SC"],"primary_cat":"cs.PF","authors_text":"Alin Suciu, Rodica Potolea, Tudor Muresan","submitted_at":"2006-03-26T20:19:59Z","abstract_excerpt":"Constraint Programming is roughly a new software technology introduced by Jaffar and Lassez in 1987 for description and effective solving of large, particularly combinatorial, problems especially in areas of planning and scheduling. In the following we define three problems for constraint solving from the domain of electrical networks; based on them we define 43 related problems. For the defined set of problems we benchmarked five systems: ILOG OPL, AMPL, GAMS, Mathematica and UniCalc. As expected some of the systems performed very well for some problems while others performed very well on oth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0603099","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0603099/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T14:53:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h0+rR7L8OlXLSCk2328zO3w7oNPygzrAChVLiQtjzvt62feeQFWiZegopWLQ56FP2H8OF2q2gQkjxBQBhe2uCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-06T18:46:52.577713Z"},"content_sha256":"1982dc4fe4d143f5b8f8beecd7b401e608d211cf773b0853060a3112b2af150e","schema_version":"1.0","event_id":"sha256:1982dc4fe4d143f5b8f8beecd7b401e608d211cf773b0853060a3112b2af150e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3WSUMZ46MFUE2VDZMYL4LBZE6Q/bundle.json","state_url":"https://pith.science/pith/3WSUMZ46MFUE2VDZMYL4LBZE6Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3WSUMZ46MFUE2VDZMYL4LBZE6Q/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-07-06T18:46:52Z","links":{"resolver":"https://pith.science/pith/3WSUMZ46MFUE2VDZMYL4LBZE6Q","bundle":"https://pith.science/pith/3WSUMZ46MFUE2VDZMYL4LBZE6Q/bundle.json","state":"https://pith.science/pith/3WSUMZ46MFUE2VDZMYL4LBZE6Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3WSUMZ46MFUE2VDZMYL4LBZE6Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:3WSUMZ46MFUE2VDZMYL4LBZE6Q","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":"0af9c1c9e06e7f0900bdffe38e8730b85f8244441a8c3b194a24c860fdb62462","cross_cats_sorted":["cs.SC"],"license":"","primary_cat":"cs.PF","submitted_at":"2006-03-26T20:19:59Z","title_canon_sha256":"c3a6fa17fc32e7a02a3bff9184ed30a3ded001c6c7d5b9f6d25f2c1da4fa1fdc"},"schema_version":"1.0","source":{"id":"cs/0603099","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0603099","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0603099v1","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0603099","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_12","alias_value":"3WSUMZ46MFUE","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_16","alias_value":"3WSUMZ46MFUE2VDZ","created_at":"2026-07-04T14:53:53Z"},{"alias_kind":"pith_short_8","alias_value":"3WSUMZ46","created_at":"2026-07-04T14:53:53Z"}],"graph_snapshots":[{"event_id":"sha256:1982dc4fe4d143f5b8f8beecd7b401e608d211cf773b0853060a3112b2af150e","target":"graph","created_at":"2026-07-04T14:53: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0603099/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Constraint Programming is roughly a new software technology introduced by Jaffar and Lassez in 1987 for description and effective solving of large, particularly combinatorial, problems especially in areas of planning and scheduling. In the following we define three problems for constraint solving from the domain of electrical networks; based on them we define 43 related problems. For the defined set of problems we benchmarked five systems: ILOG OPL, AMPL, GAMS, Mathematica and UniCalc. As expected some of the systems performed very well for some problems while others performed very well on oth","authors_text":"Alin Suciu, Rodica Potolea, Tudor Muresan","cross_cats":["cs.SC"],"headline":"","license":"","primary_cat":"cs.PF","submitted_at":"2006-03-26T20:19:59Z","title":"Benchmark Problems for Constraint Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0603099","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:11b4dcc65ef0de817fddd0cfa8fcdb5abba00d06b38c37a641cde42daa6a4d4b","target":"record","created_at":"2026-07-04T14:53: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":"0af9c1c9e06e7f0900bdffe38e8730b85f8244441a8c3b194a24c860fdb62462","cross_cats_sorted":["cs.SC"],"license":"","primary_cat":"cs.PF","submitted_at":"2006-03-26T20:19:59Z","title_canon_sha256":"c3a6fa17fc32e7a02a3bff9184ed30a3ded001c6c7d5b9f6d25f2c1da4fa1fdc"},"schema_version":"1.0","source":{"id":"cs/0603099","kind":"arxiv","version":1}},"canonical_sha256":"dda546679e61684d54796617c58724f43eb4bf8e25e15f9a23b0f9c4805d3ce7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dda546679e61684d54796617c58724f43eb4bf8e25e15f9a23b0f9c4805d3ce7","first_computed_at":"2026-07-04T14:53:53.319077Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:53:53.319077Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Mt2rpX3tBnXi3pKNuubTayNbw9OGp9GjCOZZ1Nq06yKJ/g2DScbWgoJDI/+74fCgMLpOL5Qsgt28fswzgtXMBA==","signature_status":"signed_v1","signed_at":"2026-07-04T14:53:53.319467Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0603099","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:11b4dcc65ef0de817fddd0cfa8fcdb5abba00d06b38c37a641cde42daa6a4d4b","sha256:1982dc4fe4d143f5b8f8beecd7b401e608d211cf773b0853060a3112b2af150e"],"state_sha256":"de3c4488ff37365d2dcd42adca0904f1f70934eb073c5efcc10da1539d1a86cb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8PvTewm/dTjBtlZBRFSwZdlGAbjMl8mRQ9SPx4aeqWUIYdP04NUBi70Bb+1GhFH+dThtwa0YSAtcVOo7a4IsAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-06T18:46:52.579794Z","bundle_sha256":"153f255455f0adb05f7e055413b8ad8584848abc878d3da7c7d823afac5c0e5d"}}