{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:GASBAGIDTMEONEWOATIWTLAHRQ","short_pith_number":"pith:GASBAGID","canonical_record":{"source":{"id":"1402.4303","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-02-18T11:31:08Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"2ec766e8aa25c79eeb0d815fde1904fbd5da8a474408bafe652f5552fe123f75","abstract_canon_sha256":"a124d30efa68b9a56fb695a5ee77e3c958728a56fb9b0a90a19c8de518e43ce5"},"schema_version":"1.0"},"canonical_sha256":"30241019039b08e692ce04d169ac078c2c4891550579fee871e442d4d3c6ff8c","source":{"kind":"arxiv","id":"1402.4303","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.4303","created_at":"2026-05-18T01:19:44Z"},{"alias_kind":"arxiv_version","alias_value":"1402.4303v2","created_at":"2026-05-18T01:19:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.4303","created_at":"2026-05-18T01:19:44Z"},{"alias_kind":"pith_short_12","alias_value":"GASBAGIDTMEO","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"GASBAGIDTMEONEWO","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"GASBAGID","created_at":"2026-05-18T12:28:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:GASBAGIDTMEONEWOATIWTLAHRQ","target":"record","payload":{"canonical_record":{"source":{"id":"1402.4303","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-02-18T11:31:08Z","cross_cats_sorted":["cs.AI","cs.LO"],"title_canon_sha256":"2ec766e8aa25c79eeb0d815fde1904fbd5da8a474408bafe652f5552fe123f75","abstract_canon_sha256":"a124d30efa68b9a56fb695a5ee77e3c958728a56fb9b0a90a19c8de518e43ce5"},"schema_version":"1.0"},"canonical_sha256":"30241019039b08e692ce04d169ac078c2c4891550579fee871e442d4d3c6ff8c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:44.877480Z","signature_b64":"L4Hj9jnMNyuDYlzgP8r6RZz/hHmhE6NV6rrHx/2A5zIAMZgv18duC02CsVfSct6L71n/0r9KcSmjQ8zc5OigBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"30241019039b08e692ce04d169ac078c2c4891550579fee871e442d4d3c6ff8c","last_reissued_at":"2026-05-18T01:19:44.876729Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:44.876729Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1402.4303","source_version":2,"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-18T01:19:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KYNnwl6DVRMsRFtwCnCr+gRgNfiTulEcfXFjapNu2hgIm223K6wk5a3cDuz5B4GofFIvUmvMxIcOnV4n2P55Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T12:38:24.313745Z"},"content_sha256":"62efbe0c64f7666d8875c24f3cd0f649243be1512c9ebc9c090bdc31b16d4878","schema_version":"1.0","event_id":"sha256:62efbe0c64f7666d8875c24f3cd0f649243be1512c9ebc9c090bdc31b16d4878"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:GASBAGIDTMEONEWOATIWTLAHRQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Finding Preference Profiles of Condorcet Dimension $k$ via SAT","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.LO"],"primary_cat":"cs.MA","authors_text":"Christian Geist","submitted_at":"2014-02-18T11:31:08Z","abstract_excerpt":"Condorcet winning sets are a set-valued generalization of the well-known concept of a Condorcet winner. As supersets of Condorcet winning sets are always Condorcet winning sets themselves, an interesting property of preference profiles is the size of the smallest Condorcet winning set they admit. This smallest size is called the Condorcet dimension of a preference profile. Since little is known about profiles that have a certain Condorcet dimension, we show in this paper how the problem of finding a preference profile that has a given Condorcet dimension can be encoded as a satisfiability prob"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.4303","kind":"arxiv","version":2},"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-18T01:19:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sF3tNv0lawtVogM14QUhluFKN905Kwl8HSBPD5Qa/hILikTYZ0pFleT6WbWL6rAIp+Rt2E/CGA0Ut/k8Y12eAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T12:38:24.314450Z"},"content_sha256":"c455d6624a2472934aeba7d10d3fa2bf7680b0d006944ba7915bdf928a56216f","schema_version":"1.0","event_id":"sha256:c455d6624a2472934aeba7d10d3fa2bf7680b0d006944ba7915bdf928a56216f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GASBAGIDTMEONEWOATIWTLAHRQ/bundle.json","state_url":"https://pith.science/pith/GASBAGIDTMEONEWOATIWTLAHRQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GASBAGIDTMEONEWOATIWTLAHRQ/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-07T12:38:24Z","links":{"resolver":"https://pith.science/pith/GASBAGIDTMEONEWOATIWTLAHRQ","bundle":"https://pith.science/pith/GASBAGIDTMEONEWOATIWTLAHRQ/bundle.json","state":"https://pith.science/pith/GASBAGIDTMEONEWOATIWTLAHRQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GASBAGIDTMEONEWOATIWTLAHRQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:GASBAGIDTMEONEWOATIWTLAHRQ","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":"a124d30efa68b9a56fb695a5ee77e3c958728a56fb9b0a90a19c8de518e43ce5","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-02-18T11:31:08Z","title_canon_sha256":"2ec766e8aa25c79eeb0d815fde1904fbd5da8a474408bafe652f5552fe123f75"},"schema_version":"1.0","source":{"id":"1402.4303","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.4303","created_at":"2026-05-18T01:19:44Z"},{"alias_kind":"arxiv_version","alias_value":"1402.4303v2","created_at":"2026-05-18T01:19:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.4303","created_at":"2026-05-18T01:19:44Z"},{"alias_kind":"pith_short_12","alias_value":"GASBAGIDTMEO","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"GASBAGIDTMEONEWO","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"GASBAGID","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:c455d6624a2472934aeba7d10d3fa2bf7680b0d006944ba7915bdf928a56216f","target":"graph","created_at":"2026-05-18T01:19:44Z","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":"Condorcet winning sets are a set-valued generalization of the well-known concept of a Condorcet winner. As supersets of Condorcet winning sets are always Condorcet winning sets themselves, an interesting property of preference profiles is the size of the smallest Condorcet winning set they admit. This smallest size is called the Condorcet dimension of a preference profile. Since little is known about profiles that have a certain Condorcet dimension, we show in this paper how the problem of finding a preference profile that has a given Condorcet dimension can be encoded as a satisfiability prob","authors_text":"Christian Geist","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-02-18T11:31:08Z","title":"Finding Preference Profiles of Condorcet Dimension $k$ via SAT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.4303","kind":"arxiv","version":2},"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:62efbe0c64f7666d8875c24f3cd0f649243be1512c9ebc9c090bdc31b16d4878","target":"record","created_at":"2026-05-18T01:19:44Z","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":"a124d30efa68b9a56fb695a5ee77e3c958728a56fb9b0a90a19c8de518e43ce5","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2014-02-18T11:31:08Z","title_canon_sha256":"2ec766e8aa25c79eeb0d815fde1904fbd5da8a474408bafe652f5552fe123f75"},"schema_version":"1.0","source":{"id":"1402.4303","kind":"arxiv","version":2}},"canonical_sha256":"30241019039b08e692ce04d169ac078c2c4891550579fee871e442d4d3c6ff8c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"30241019039b08e692ce04d169ac078c2c4891550579fee871e442d4d3c6ff8c","first_computed_at":"2026-05-18T01:19:44.876729Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:44.876729Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"L4Hj9jnMNyuDYlzgP8r6RZz/hHmhE6NV6rrHx/2A5zIAMZgv18duC02CsVfSct6L71n/0r9KcSmjQ8zc5OigBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:44.877480Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.4303","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:62efbe0c64f7666d8875c24f3cd0f649243be1512c9ebc9c090bdc31b16d4878","sha256:c455d6624a2472934aeba7d10d3fa2bf7680b0d006944ba7915bdf928a56216f"],"state_sha256":"41d7a11fdb7519568de4cdd5c9315f1d1831cec96c9c8b9e4d4fd7d1e38f5124"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DR4EcX7mGS+H1+m3ixB0a0Lxzu26W2ZOvmM+8eoUScIqKr/PXH9/7YqvwXjW90NzKqncGUEvTa/vahyDZN3TAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T12:38:24.318487Z","bundle_sha256":"73911e6377099917beb5c933a611e866567dfa2f93fcf01c33a3781186170b2c"}}