{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:AIJXTBEAJPGBRER3KVQI6A4DXB","short_pith_number":"pith:AIJXTBEA","canonical_record":{"source":{"id":"1109.1248","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-06T18:00:08Z","cross_cats_sorted":[],"title_canon_sha256":"16b96fbd44ef57a28f9c7d99211bde565b16f948ea2e66e55e6fef8f38508683","abstract_canon_sha256":"b2819ede4d224cdceb6f44f1bb4e3787bdb2a4f54702a95106fa4e858ffc02e9"},"schema_version":"1.0"},"canonical_sha256":"02137984804bcc18923b55608f0383b87105fbc8bf04c5c260f90f65ecefdae8","source":{"kind":"arxiv","id":"1109.1248","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.1248","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"arxiv_version","alias_value":"1109.1248v1","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.1248","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"pith_short_12","alias_value":"AIJXTBEAJPGB","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AIJXTBEAJPGBRER3","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AIJXTBEA","created_at":"2026-05-18T12:26:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:AIJXTBEAJPGBRER3KVQI6A4DXB","target":"record","payload":{"canonical_record":{"source":{"id":"1109.1248","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-06T18:00:08Z","cross_cats_sorted":[],"title_canon_sha256":"16b96fbd44ef57a28f9c7d99211bde565b16f948ea2e66e55e6fef8f38508683","abstract_canon_sha256":"b2819ede4d224cdceb6f44f1bb4e3787bdb2a4f54702a95106fa4e858ffc02e9"},"schema_version":"1.0"},"canonical_sha256":"02137984804bcc18923b55608f0383b87105fbc8bf04c5c260f90f65ecefdae8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:21:36.910528Z","signature_b64":"rzt8n5A28VegMnObeIdtZJH0Crd8rTTzz4JMvnF8XQi3tpezS5oN7WMivm+pTvy4eboGZQK9LY5wGUVGtJdWBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"02137984804bcc18923b55608f0383b87105fbc8bf04c5c260f90f65ecefdae8","last_reissued_at":"2026-05-18T02:21:36.910095Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:21:36.910095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1109.1248","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":"oExAx9cfMPJowsVHwb8krN76Eso/lc/ZN5NI72/KL8iHDgKXce9BBpTMngOtvYKFWrBuDGjy06GWtGluGLxwCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T19:38:17.277417Z"},"content_sha256":"84af4ade961046959d7f846228942982ab34f905130ade8c25efa194d6c10ef0","schema_version":"1.0","event_id":"sha256:84af4ade961046959d7f846228942982ab34f905130ade8c25efa194d6c10ef0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:AIJXTBEAJPGBRER3KVQI6A4DXB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Placement of Valves in a Water Distribution Network with CLP(FD)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Maddalena Nonato, Marco Franchini, Marco Gavanelli, Massimiliano Cattafi, Stefano Alvisi","submitted_at":"2011-09-06T18:00:08Z","abstract_excerpt":"This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard combinatorial problem. This application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design.\n  We take the formulation of the problem by Giustolisi and Savic (2008) and show how, thanks to constraint propagation, we can get better solutions than the best solution known in the literature f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.1248","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":"L9N3Gr1ICU1tt2TI+vVII4q+KAOc+QdebojhqWleBbPnVQfBp/QF3CSMyZRFMij488NgTF8ZVcFSDJ5tn8uJAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T19:38:17.277768Z"},"content_sha256":"4911ae9866aba14436f6a6a12325030f6c9614210f11dae8f343909575008d1c","schema_version":"1.0","event_id":"sha256:4911ae9866aba14436f6a6a12325030f6c9614210f11dae8f343909575008d1c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AIJXTBEAJPGBRER3KVQI6A4DXB/bundle.json","state_url":"https://pith.science/pith/AIJXTBEAJPGBRER3KVQI6A4DXB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AIJXTBEAJPGBRER3KVQI6A4DXB/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-25T19:38:17Z","links":{"resolver":"https://pith.science/pith/AIJXTBEAJPGBRER3KVQI6A4DXB","bundle":"https://pith.science/pith/AIJXTBEAJPGBRER3KVQI6A4DXB/bundle.json","state":"https://pith.science/pith/AIJXTBEAJPGBRER3KVQI6A4DXB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AIJXTBEAJPGBRER3KVQI6A4DXB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:AIJXTBEAJPGBRER3KVQI6A4DXB","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":"b2819ede4d224cdceb6f44f1bb4e3787bdb2a4f54702a95106fa4e858ffc02e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-06T18:00:08Z","title_canon_sha256":"16b96fbd44ef57a28f9c7d99211bde565b16f948ea2e66e55e6fef8f38508683"},"schema_version":"1.0","source":{"id":"1109.1248","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1109.1248","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"arxiv_version","alias_value":"1109.1248v1","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1109.1248","created_at":"2026-05-18T02:21:36Z"},{"alias_kind":"pith_short_12","alias_value":"AIJXTBEAJPGB","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_16","alias_value":"AIJXTBEAJPGBRER3","created_at":"2026-05-18T12:26:24Z"},{"alias_kind":"pith_short_8","alias_value":"AIJXTBEA","created_at":"2026-05-18T12:26:24Z"}],"graph_snapshots":[{"event_id":"sha256:4911ae9866aba14436f6a6a12325030f6c9614210f11dae8f343909575008d1c","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":"This paper presents a new application of logic programming to a real-life problem in hydraulic engineering. The work is developed as a collaboration of computer scientists and hydraulic engineers, and applies Constraint Logic Programming to solve a hard combinatorial problem. This application deals with one aspect of the design of a water distribution network, i.e., the valve isolation system design.\n  We take the formulation of the problem by Giustolisi and Savic (2008) and show how, thanks to constraint propagation, we can get better solutions than the best solution known in the literature f","authors_text":"Maddalena Nonato, Marco Franchini, Marco Gavanelli, Massimiliano Cattafi, Stefano Alvisi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-06T18:00:08Z","title":"Optimal Placement of Valves in a Water Distribution Network with CLP(FD)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1109.1248","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:84af4ade961046959d7f846228942982ab34f905130ade8c25efa194d6c10ef0","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":"b2819ede4d224cdceb6f44f1bb4e3787bdb2a4f54702a95106fa4e858ffc02e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-09-06T18:00:08Z","title_canon_sha256":"16b96fbd44ef57a28f9c7d99211bde565b16f948ea2e66e55e6fef8f38508683"},"schema_version":"1.0","source":{"id":"1109.1248","kind":"arxiv","version":1}},"canonical_sha256":"02137984804bcc18923b55608f0383b87105fbc8bf04c5c260f90f65ecefdae8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"02137984804bcc18923b55608f0383b87105fbc8bf04c5c260f90f65ecefdae8","first_computed_at":"2026-05-18T02:21:36.910095Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:21:36.910095Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rzt8n5A28VegMnObeIdtZJH0Crd8rTTzz4JMvnF8XQi3tpezS5oN7WMivm+pTvy4eboGZQK9LY5wGUVGtJdWBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:21:36.910528Z","signed_message":"canonical_sha256_bytes"},"source_id":"1109.1248","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:84af4ade961046959d7f846228942982ab34f905130ade8c25efa194d6c10ef0","sha256:4911ae9866aba14436f6a6a12325030f6c9614210f11dae8f343909575008d1c"],"state_sha256":"b32705c985ce6e6f5076812fab77e4dd1af0089bde908eff2e679348d206bb5e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c1Pb9SYxdfzTvnnvxqGrlgxNPng9kilxfTHOKe0TmMTgm8d1oU9XAV/eOCz2KSXRv7cPhmo0CVSd9m4oxEPVDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T19:38:17.279730Z","bundle_sha256":"b1052b536c41633a6fee043cf81879ecfab313934d04d9b098b6e9f736849d88"}}