{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:FRTBCSQDSFLOUWPLJZOBASTZI5","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":"22a6c58d3d069c07b6006a4d9bcb2b72b39928e093b119651b4ed9150c2a8861","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-08-16T14:59:44Z","title_canon_sha256":"c09b656d3f1c3f85a72e4f49a684b2336a41a12ea0dbaf6cd148adb6dd88e24a"},"schema_version":"1.0","source":{"id":"1108.3260","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.3260","created_at":"2026-05-18T03:13:00Z"},{"alias_kind":"arxiv_version","alias_value":"1108.3260v1","created_at":"2026-05-18T03:13:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.3260","created_at":"2026-05-18T03:13:00Z"},{"alias_kind":"pith_short_12","alias_value":"FRTBCSQDSFLO","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FRTBCSQDSFLOUWPL","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FRTBCSQD","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:bd54440b1484bc6e03692dd33e96ca951da198cf31fbce59101aae8af9df3b8a","target":"graph","created_at":"2026-05-18T03:13:00Z","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":"For some computational problems (e.g., product configuration, planning, diagnosis, query answering, phylogeny reconstruction) computing a set of similar/diverse solutions may be desirable for better decision-making. With this motivation, we studied several decision/optimization versions of this problem in the context of Answer Set Programming (ASP), analyzed their computational complexity, and introduced offline/online methods to compute similar/diverse solutions of such computational problems with respect to a given distance function. All these methods rely on the idea of computing solutions ","authors_text":"Esra Erdem, Halit Erdogan, Michael Fink, Thomas Eiter","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-08-16T14:59:44Z","title":"Finding Similar/Diverse Solutions in Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.3260","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:ade65c1146952d3a112a63fb018221b79eb6a02c99a96dac1467c1419b02c81f","target":"record","created_at":"2026-05-18T03:13:00Z","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":"22a6c58d3d069c07b6006a4d9bcb2b72b39928e093b119651b4ed9150c2a8861","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-08-16T14:59:44Z","title_canon_sha256":"c09b656d3f1c3f85a72e4f49a684b2336a41a12ea0dbaf6cd148adb6dd88e24a"},"schema_version":"1.0","source":{"id":"1108.3260","kind":"arxiv","version":1}},"canonical_sha256":"2c66114a039156ea59eb4e5c104a79477b91d88b1b7f5b9001b0e26504fdd320","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c66114a039156ea59eb4e5c104a79477b91d88b1b7f5b9001b0e26504fdd320","first_computed_at":"2026-05-18T03:13:00.597524Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:13:00.597524Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+0QrD8VtOE5TZyqf/Y+Osbg7m3GFMI1/5QZuMVP8V1kfnvF5P++eeAIE5he8FAfeHT8jNfpugaSHM9ZA+otmBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:13:00.598078Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.3260","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ade65c1146952d3a112a63fb018221b79eb6a02c99a96dac1467c1419b02c81f","sha256:bd54440b1484bc6e03692dd33e96ca951da198cf31fbce59101aae8af9df3b8a"],"state_sha256":"72d5dba4cc3e43b0fd48940350864cdee7b210d2ac79350351284b384f7abee1"}