{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:7IP44RXGUX6ECUQPKYAPHFTJE6","short_pith_number":"pith:7IP44RXG","canonical_record":{"source":{"id":"1409.2902","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2014-09-09T21:16:56Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"3af82580d833969d683f7839d5aa0cba1e1998ed86f99d32f35f29a39312ddc5","abstract_canon_sha256":"3ec9fdf17d3a0cffcc3e73f42e18b5b7fbdce373c0cef5c076a08c04c311eea3"},"schema_version":"1.0"},"canonical_sha256":"fa1fce46e6a5fc41520f5600f39669279d30686c3b4ed69be0587c62ecfda7ed","source":{"kind":"arxiv","id":"1409.2902","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2902","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2902v1","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2902","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"7IP44RXGUX6E","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7IP44RXGUX6ECUQP","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7IP44RXG","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:7IP44RXGUX6ECUQPKYAPHFTJE6","target":"record","payload":{"canonical_record":{"source":{"id":"1409.2902","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2014-09-09T21:16:56Z","cross_cats_sorted":["math.NA"],"title_canon_sha256":"3af82580d833969d683f7839d5aa0cba1e1998ed86f99d32f35f29a39312ddc5","abstract_canon_sha256":"3ec9fdf17d3a0cffcc3e73f42e18b5b7fbdce373c0cef5c076a08c04c311eea3"},"schema_version":"1.0"},"canonical_sha256":"fa1fce46e6a5fc41520f5600f39669279d30686c3b4ed69be0587c62ecfda7ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:43:08.789547Z","signature_b64":"/Dudbt2Xi5/NJRnMpN9uah12bq/wZAXlbRNioGiwvnktFktXiInPIPeOgw7eQ+AJ20aNKUBQAzqlAbOpd++5Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fa1fce46e6a5fc41520f5600f39669279d30686c3b4ed69be0587c62ecfda7ed","last_reissued_at":"2026-05-18T02:43:08.789084Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:43:08.789084Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1409.2902","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:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"frzGBOz3P8ylAXsL4U6UDtewfrHaFdhZik3rPTE1tceuBbBa8EKndW7Nm+X6QZaxKKJ7KGYEnL1TH/D2gC5ZCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T22:09:16.684721Z"},"content_sha256":"a3d1043baa02e0539784e6d5f91748fb5ebaa758468e97c17eaf86cbebf4e15a","schema_version":"1.0","event_id":"sha256:a3d1043baa02e0539784e6d5f91748fb5ebaa758468e97c17eaf86cbebf4e15a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:7IP44RXGUX6ECUQPKYAPHFTJE6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Hildreth's Algorithm with Applications to Soft Constraints for User Interface Layout","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.NA"],"primary_cat":"cs.NA","authors_text":"Alex Cloninger, Noreen Jamil, Xuemei Chen","submitted_at":"2014-09-09T21:16:56Z","abstract_excerpt":"The Hildreth's algorithm is a row action method for solving large systems of inequalities. This algorithm is efficient for problems with sparse matrices, as opposed to direct methods such as Gaussian elimination or QR-factorization. We apply the Hildreth's algorithm, as well as a randomized version, along with prioritized selection of the inequalities, to efficiently detect the highest priority feasible subsystem of equations. We prove convergence results and feasibility criteria for both cyclic and randomized Hildreth's algorithm, as well as a mixed algorithm which uses Hildreth's algorithm f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2902","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:43:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bd/LWIFimHBLsv7ZTEpCN6D4zGe5COfunnmzsl3V9GJeahKW2bUtgvzd4pAniAl06cyMHleLdFz1QQh8t1bBAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T22:09:16.685411Z"},"content_sha256":"6eae92247032c6bc9ddfe0fc05f6e50f872c4925f9a5380fec7d04afdab04351","schema_version":"1.0","event_id":"sha256:6eae92247032c6bc9ddfe0fc05f6e50f872c4925f9a5380fec7d04afdab04351"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7IP44RXGUX6ECUQPKYAPHFTJE6/bundle.json","state_url":"https://pith.science/pith/7IP44RXGUX6ECUQPKYAPHFTJE6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7IP44RXGUX6ECUQPKYAPHFTJE6/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-27T22:09:16Z","links":{"resolver":"https://pith.science/pith/7IP44RXGUX6ECUQPKYAPHFTJE6","bundle":"https://pith.science/pith/7IP44RXGUX6ECUQPKYAPHFTJE6/bundle.json","state":"https://pith.science/pith/7IP44RXGUX6ECUQPKYAPHFTJE6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7IP44RXGUX6ECUQPKYAPHFTJE6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:7IP44RXGUX6ECUQPKYAPHFTJE6","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":"3ec9fdf17d3a0cffcc3e73f42e18b5b7fbdce373c0cef5c076a08c04c311eea3","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2014-09-09T21:16:56Z","title_canon_sha256":"3af82580d833969d683f7839d5aa0cba1e1998ed86f99d32f35f29a39312ddc5"},"schema_version":"1.0","source":{"id":"1409.2902","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1409.2902","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"arxiv_version","alias_value":"1409.2902v1","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1409.2902","created_at":"2026-05-18T02:43:08Z"},{"alias_kind":"pith_short_12","alias_value":"7IP44RXGUX6E","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"7IP44RXGUX6ECUQP","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"7IP44RXG","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:6eae92247032c6bc9ddfe0fc05f6e50f872c4925f9a5380fec7d04afdab04351","target":"graph","created_at":"2026-05-18T02:43:08Z","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":"The Hildreth's algorithm is a row action method for solving large systems of inequalities. This algorithm is efficient for problems with sparse matrices, as opposed to direct methods such as Gaussian elimination or QR-factorization. We apply the Hildreth's algorithm, as well as a randomized version, along with prioritized selection of the inequalities, to efficiently detect the highest priority feasible subsystem of equations. We prove convergence results and feasibility criteria for both cyclic and randomized Hildreth's algorithm, as well as a mixed algorithm which uses Hildreth's algorithm f","authors_text":"Alex Cloninger, Noreen Jamil, Xuemei Chen","cross_cats":["math.NA"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2014-09-09T21:16:56Z","title":"The Hildreth's Algorithm with Applications to Soft Constraints for User Interface Layout"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1409.2902","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:a3d1043baa02e0539784e6d5f91748fb5ebaa758468e97c17eaf86cbebf4e15a","target":"record","created_at":"2026-05-18T02:43:08Z","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":"3ec9fdf17d3a0cffcc3e73f42e18b5b7fbdce373c0cef5c076a08c04c311eea3","cross_cats_sorted":["math.NA"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NA","submitted_at":"2014-09-09T21:16:56Z","title_canon_sha256":"3af82580d833969d683f7839d5aa0cba1e1998ed86f99d32f35f29a39312ddc5"},"schema_version":"1.0","source":{"id":"1409.2902","kind":"arxiv","version":1}},"canonical_sha256":"fa1fce46e6a5fc41520f5600f39669279d30686c3b4ed69be0587c62ecfda7ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fa1fce46e6a5fc41520f5600f39669279d30686c3b4ed69be0587c62ecfda7ed","first_computed_at":"2026-05-18T02:43:08.789084Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:43:08.789084Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"/Dudbt2Xi5/NJRnMpN9uah12bq/wZAXlbRNioGiwvnktFktXiInPIPeOgw7eQ+AJ20aNKUBQAzqlAbOpd++5Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:43:08.789547Z","signed_message":"canonical_sha256_bytes"},"source_id":"1409.2902","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a3d1043baa02e0539784e6d5f91748fb5ebaa758468e97c17eaf86cbebf4e15a","sha256:6eae92247032c6bc9ddfe0fc05f6e50f872c4925f9a5380fec7d04afdab04351"],"state_sha256":"577b3bea120693bdece25146a958e3a54d8c5926036f89cdc1d579c28d41b7d1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WAFGYcDVGD6FG5QMpov+NEjAQCB/YH/p0vkZ+PHg7TTWXcSWk6ZyQc1oAK++0MPCu34xjyz7XlYalmwcY/jfCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T22:09:16.689038Z","bundle_sha256":"37f7c70d8f20f02a162e2e15194f53805224aa3c731c0327969daa8ec18462bd"}}