{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:63NYKSKKMUEPA5TPSROKEIDK5C","short_pith_number":"pith:63NYKSKK","schema_version":"1.0","canonical_sha256":"f6db85494a6508f0766f945ca2206ae8bb442fda982ba6a2a2eee983c1dc014b","source":{"kind":"arxiv","id":"1505.02371","version":2},"attestation_state":"computed","paper":{"title":"Computing maximal autarkies with few and simple oracle queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.DS"],"primary_cat":"cs.LO","authors_text":"Joao Marques-Silva, Oliver Kullmann","submitted_at":"2015-05-10T11:36:54Z","abstract_excerpt":"We consider the algorithmic task of computing a maximal autarky for a clause-set F, i.e., a partial assignment which satisfies every clause of F it touches, and where this property is destroyed by adding any non-empty set of further assignments. We employ SAT solvers as oracles, using various capabilities. Using the standard SAT oracle, log_2(n(F)) oracle calls suffice, where n(F) is the number of variables, but the drawback is that (translated) cardinality constraints are employed, which makes this approach less efficient in practice. Using an extended SAT oracle, motivated by the capabilitie"},"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":"1505.02371","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-05-10T11:36:54Z","cross_cats_sorted":["cs.DM","cs.DS"],"title_canon_sha256":"3428ec0159738cc3830a2ffe040755bd7731769ab4bf8c6c992424d1e2b6e3ad","abstract_canon_sha256":"025fafd26a8cbae45a442d68d5ae9f37e70b66b5954426d5f12f7af54f81350a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:44.029279Z","signature_b64":"OcQNMlC7rlagW5IcPGp4+mYNmW5w0hvShZKfvpCGQNO1/IHceYyoB9bDPX4hlZXbrhiK/x8zmHonc1ujsOPxCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f6db85494a6508f0766f945ca2206ae8bb442fda982ba6a2a2eee983c1dc014b","last_reissued_at":"2026-05-18T01:17:44.028646Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:44.028646Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Computing maximal autarkies with few and simple oracle queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","cs.DS"],"primary_cat":"cs.LO","authors_text":"Joao Marques-Silva, Oliver Kullmann","submitted_at":"2015-05-10T11:36:54Z","abstract_excerpt":"We consider the algorithmic task of computing a maximal autarky for a clause-set F, i.e., a partial assignment which satisfies every clause of F it touches, and where this property is destroyed by adding any non-empty set of further assignments. We employ SAT solvers as oracles, using various capabilities. Using the standard SAT oracle, log_2(n(F)) oracle calls suffice, where n(F) is the number of variables, but the drawback is that (translated) cardinality constraints are employed, which makes this approach less efficient in practice. Using an extended SAT oracle, motivated by the capabilitie"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.02371","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1505.02371","created_at":"2026-05-18T01:17:44.028740+00:00"},{"alias_kind":"arxiv_version","alias_value":"1505.02371v2","created_at":"2026-05-18T01:17:44.028740+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.02371","created_at":"2026-05-18T01:17:44.028740+00:00"},{"alias_kind":"pith_short_12","alias_value":"63NYKSKKMUEP","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_16","alias_value":"63NYKSKKMUEPA5TP","created_at":"2026-05-18T12:29:07.941421+00:00"},{"alias_kind":"pith_short_8","alias_value":"63NYKSKK","created_at":"2026-05-18T12:29:07.941421+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/63NYKSKKMUEPA5TPSROKEIDK5C","json":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C.json","graph_json":"https://pith.science/api/pith-number/63NYKSKKMUEPA5TPSROKEIDK5C/graph.json","events_json":"https://pith.science/api/pith-number/63NYKSKKMUEPA5TPSROKEIDK5C/events.json","paper":"https://pith.science/paper/63NYKSKK"},"agent_actions":{"view_html":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C","download_json":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C.json","view_paper":"https://pith.science/paper/63NYKSKK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1505.02371&json=true","fetch_graph":"https://pith.science/api/pith-number/63NYKSKKMUEPA5TPSROKEIDK5C/graph.json","fetch_events":"https://pith.science/api/pith-number/63NYKSKKMUEPA5TPSROKEIDK5C/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C/action/timestamp_anchor","attest_storage":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C/action/storage_attestation","attest_author":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C/action/author_attestation","sign_citation":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C/action/citation_signature","submit_replication":"https://pith.science/pith/63NYKSKKMUEPA5TPSROKEIDK5C/action/replication_record"}},"created_at":"2026-05-18T01:17:44.028740+00:00","updated_at":"2026-05-18T01:17:44.028740+00:00"}