{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:FSKBNKXXUNX27T7B3QDLXQFXXC","short_pith_number":"pith:FSKBNKXX","schema_version":"1.0","canonical_sha256":"2c9416aaf7a36fafcfe1dc06bbc0b7b89b537f3c003f67821430348001a9e3b0","source":{"kind":"arxiv","id":"1711.05105","version":1},"attestation_state":"computed","paper":{"title":"An Empirical Study of the Effects of Spurious Transitions on Abstraction-based Heuristics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Mehdi Sadeqi, Robert C. Holte, Sandra Zilles","submitted_at":"2017-11-14T14:27:05Z","abstract_excerpt":"The efficient solution of state space search problems is often attempted by guiding search algorithms with heuristics (estimates of the distance from any state to the goal). A popular way for creating heuristic functions is by using an abstract version of the state space. However, the quality of abstraction-based heuristic functions, and thus the speed of search, can suffer from spurious transitions, i.e., state transitions in the abstract state space for which no corresponding transitions in the reachable component of the original state space exist. Our first contribution is a quantitative st"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1711.05105","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-14T14:27:05Z","cross_cats_sorted":[],"title_canon_sha256":"925a58d98470a4e258c0a4fdb0791f4a25c2ab5514396b2edc85118affb6e836","abstract_canon_sha256":"6f76e4dece10a4500659b4e5264703f0a00dfec26e3bdb5464c149d7e71573c1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:34.706942Z","signature_b64":"GhdtTkdJ/e67D1RwO2AKjbyuJMZi29+y4RAV/CrI5NYZnCpVblW/nwJbpHDSzA3cE5/QUIlt1kko2TdY/28ZCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c9416aaf7a36fafcfe1dc06bbc0b7b89b537f3c003f67821430348001a9e3b0","last_reissued_at":"2026-05-18T00:30:34.706176Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:34.706176Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Empirical Study of the Effects of Spurious Transitions on Abstraction-based Heuristics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Mehdi Sadeqi, Robert C. Holte, Sandra Zilles","submitted_at":"2017-11-14T14:27:05Z","abstract_excerpt":"The efficient solution of state space search problems is often attempted by guiding search algorithms with heuristics (estimates of the distance from any state to the goal). A popular way for creating heuristic functions is by using an abstract version of the state space. However, the quality of abstraction-based heuristic functions, and thus the speed of search, can suffer from spurious transitions, i.e., state transitions in the abstract state space for which no corresponding transitions in the reachable component of the original state space exist. Our first contribution is a quantitative st"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.05105","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1711.05105","created_at":"2026-05-18T00:30:34.706302+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.05105v1","created_at":"2026-05-18T00:30:34.706302+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.05105","created_at":"2026-05-18T00:30:34.706302+00:00"},{"alias_kind":"pith_short_12","alias_value":"FSKBNKXXUNX2","created_at":"2026-05-18T12:31:15.632608+00:00"},{"alias_kind":"pith_short_16","alias_value":"FSKBNKXXUNX27T7B","created_at":"2026-05-18T12:31:15.632608+00:00"},{"alias_kind":"pith_short_8","alias_value":"FSKBNKXX","created_at":"2026-05-18T12:31:15.632608+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC","json":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC.json","graph_json":"https://pith.science/api/pith-number/FSKBNKXXUNX27T7B3QDLXQFXXC/graph.json","events_json":"https://pith.science/api/pith-number/FSKBNKXXUNX27T7B3QDLXQFXXC/events.json","paper":"https://pith.science/paper/FSKBNKXX"},"agent_actions":{"view_html":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC","download_json":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC.json","view_paper":"https://pith.science/paper/FSKBNKXX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.05105&json=true","fetch_graph":"https://pith.science/api/pith-number/FSKBNKXXUNX27T7B3QDLXQFXXC/graph.json","fetch_events":"https://pith.science/api/pith-number/FSKBNKXXUNX27T7B3QDLXQFXXC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC/action/storage_attestation","attest_author":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC/action/author_attestation","sign_citation":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC/action/citation_signature","submit_replication":"https://pith.science/pith/FSKBNKXXUNX27T7B3QDLXQFXXC/action/replication_record"}},"created_at":"2026-05-18T00:30:34.706302+00:00","updated_at":"2026-05-18T00:30:34.706302+00:00"}