{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:UKRFROY5CAAS3GGXD2KVRLMTBL","short_pith_number":"pith:UKRFROY5","canonical_record":{"source":{"id":"1804.02273","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-06T13:53:31Z","cross_cats_sorted":[],"title_canon_sha256":"4e6e12fbe4cb1136e0c18bb539095cab487b4f91950968cc739ca34d19c5becb","abstract_canon_sha256":"52340993b0d59796e8c302412bd020178c819bf8e3978dcdb60a334e54fc36e9"},"schema_version":"1.0"},"canonical_sha256":"a2a258bb1d10012d98d71e9558ad930ae82cd959db70306402e40c5dba913e17","source":{"kind":"arxiv","id":"1804.02273","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02273","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02273v1","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02273","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"UKRFROY5CAAS","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UKRFROY5CAAS3GGX","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UKRFROY5","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:UKRFROY5CAAS3GGXD2KVRLMTBL","target":"record","payload":{"canonical_record":{"source":{"id":"1804.02273","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-06T13:53:31Z","cross_cats_sorted":[],"title_canon_sha256":"4e6e12fbe4cb1136e0c18bb539095cab487b4f91950968cc739ca34d19c5becb","abstract_canon_sha256":"52340993b0d59796e8c302412bd020178c819bf8e3978dcdb60a334e54fc36e9"},"schema_version":"1.0"},"canonical_sha256":"a2a258bb1d10012d98d71e9558ad930ae82cd959db70306402e40c5dba913e17","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:05.361065Z","signature_b64":"v7TNdMesrXPXyM3J+/hHDdLJvqq94LyqOCbHYqqro00k/R1W7EuQ11zKvFpIZCyHnBb65wJElNKPVGFSMAZEBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2a258bb1d10012d98d71e9558ad930ae82cd959db70306402e40c5dba913e17","last_reissued_at":"2026-05-18T00:19:05.360476Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:05.360476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.02273","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-18T00:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oIlxX5uHNPKMOxxCUn+po8vUhY3Ntr3mWw8dZeEMFtXT4XyGm58Aj66JelgkTx/F78na8d4oprw63YMTrco7Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T15:45:43.502992Z"},"content_sha256":"29d484eae37548279a5938c28da8fa498633bf4d9c288d041ec313d07ca0e98a","schema_version":"1.0","event_id":"sha256:29d484eae37548279a5938c28da8fa498633bf4d9c288d041ec313d07ca0e98a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:UKRFROY5CAAS3GGXD2KVRLMTBL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"BFS Enumeration for Breaking Symmetries in Graphs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Vladimir Ulyantsev, Vyacheslav Moklev","submitted_at":"2018-04-06T13:53:31Z","abstract_excerpt":"There are numerous NP-hard combinatorial problems which involve searching for an undirected graph satisfying a certain property. One way to solve such problems is to translate a problem into an instance of the boolean satisfiability (SAT) or constraint satisfaction (CSP) problem. Such reduction usually can give rise to numerous isomorphic representations of the same graph. One way to reduce the search space and speed up the search under these conditions is to introduce symmetrybreaking predicates. In this paper we introduce three novel and practically effective symmetry-breaking predicates for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02273","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-18T00:19:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ewf0gak8/MnSx7zPU0X9BqcKlhZrAWqxh4XCBb5TrboG2DYnqiY4ywWfxvALc4evosZyCZa9psV8hvmRwGRUDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T15:45:43.503380Z"},"content_sha256":"9d0f0a17c29d33a2d68c7d3e91f140d658c2e19392fe0bb084d7e85ffad930a5","schema_version":"1.0","event_id":"sha256:9d0f0a17c29d33a2d68c7d3e91f140d658c2e19392fe0bb084d7e85ffad930a5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UKRFROY5CAAS3GGXD2KVRLMTBL/bundle.json","state_url":"https://pith.science/pith/UKRFROY5CAAS3GGXD2KVRLMTBL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UKRFROY5CAAS3GGXD2KVRLMTBL/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-28T15:45:43Z","links":{"resolver":"https://pith.science/pith/UKRFROY5CAAS3GGXD2KVRLMTBL","bundle":"https://pith.science/pith/UKRFROY5CAAS3GGXD2KVRLMTBL/bundle.json","state":"https://pith.science/pith/UKRFROY5CAAS3GGXD2KVRLMTBL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UKRFROY5CAAS3GGXD2KVRLMTBL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UKRFROY5CAAS3GGXD2KVRLMTBL","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":"52340993b0d59796e8c302412bd020178c819bf8e3978dcdb60a334e54fc36e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-06T13:53:31Z","title_canon_sha256":"4e6e12fbe4cb1136e0c18bb539095cab487b4f91950968cc739ca34d19c5becb"},"schema_version":"1.0","source":{"id":"1804.02273","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.02273","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"arxiv_version","alias_value":"1804.02273v1","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.02273","created_at":"2026-05-18T00:19:05Z"},{"alias_kind":"pith_short_12","alias_value":"UKRFROY5CAAS","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UKRFROY5CAAS3GGX","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UKRFROY5","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:9d0f0a17c29d33a2d68c7d3e91f140d658c2e19392fe0bb084d7e85ffad930a5","target":"graph","created_at":"2026-05-18T00:19:05Z","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":"There are numerous NP-hard combinatorial problems which involve searching for an undirected graph satisfying a certain property. One way to solve such problems is to translate a problem into an instance of the boolean satisfiability (SAT) or constraint satisfaction (CSP) problem. Such reduction usually can give rise to numerous isomorphic representations of the same graph. One way to reduce the search space and speed up the search under these conditions is to introduce symmetrybreaking predicates. In this paper we introduce three novel and practically effective symmetry-breaking predicates for","authors_text":"Vladimir Ulyantsev, Vyacheslav Moklev","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-06T13:53:31Z","title":"BFS Enumeration for Breaking Symmetries in Graphs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.02273","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:29d484eae37548279a5938c28da8fa498633bf4d9c288d041ec313d07ca0e98a","target":"record","created_at":"2026-05-18T00:19:05Z","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":"52340993b0d59796e8c302412bd020178c819bf8e3978dcdb60a334e54fc36e9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-04-06T13:53:31Z","title_canon_sha256":"4e6e12fbe4cb1136e0c18bb539095cab487b4f91950968cc739ca34d19c5becb"},"schema_version":"1.0","source":{"id":"1804.02273","kind":"arxiv","version":1}},"canonical_sha256":"a2a258bb1d10012d98d71e9558ad930ae82cd959db70306402e40c5dba913e17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2a258bb1d10012d98d71e9558ad930ae82cd959db70306402e40c5dba913e17","first_computed_at":"2026-05-18T00:19:05.360476Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:05.360476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v7TNdMesrXPXyM3J+/hHDdLJvqq94LyqOCbHYqqro00k/R1W7EuQ11zKvFpIZCyHnBb65wJElNKPVGFSMAZEBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:05.361065Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.02273","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:29d484eae37548279a5938c28da8fa498633bf4d9c288d041ec313d07ca0e98a","sha256:9d0f0a17c29d33a2d68c7d3e91f140d658c2e19392fe0bb084d7e85ffad930a5"],"state_sha256":"dd3dbd919db28533a24037b5f2571dc69bf141df3076e2645ce421e5c3181d39"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2wamy9za8FvLHQJ/fzJlFzl8W3gGyUJo3IL8g7Yq2Sj9YPYPwKSCr6FykI1Y5fLl5leVbBG9G9+RH4bG8QH2AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T15:45:43.505217Z","bundle_sha256":"bec3d6530069992ffd2b48c09615576a133e8217d4ae691cdb453db9bab36534"}}