{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3RXFM75TTSYHMP6JDUWHF3PWUH","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":"081f7a07ee9887f9358ca9931150ac1b52d27852f82e5f0c52d68b142d492e8f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-06T09:58:02Z","title_canon_sha256":"bd5fcc1bac38299dd38da52871ee206c68dc27af28d1656cb478ad24ae87543e"},"schema_version":"1.0","source":{"id":"1401.1024","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.1024","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"arxiv_version","alias_value":"1401.1024v1","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.1024","created_at":"2026-05-18T03:03:11Z"},{"alias_kind":"pith_short_12","alias_value":"3RXFM75TTSYH","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3RXFM75TTSYHMP6J","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3RXFM75T","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:c9e73e2bc1304294ad38fc576e63ab9e78f799fd1e7c6103ab20e74ad67865b7","target":"graph","created_at":"2026-05-18T03:03:11Z","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":"Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances and is known to depend strongly on algorithm parameters. This problem was addressed by means of a simple, yet effective approach using handmade, uniform and unordered schedules of multiple solvers in ppfolio, which showed very impressive performance in the 2011 SAT Competition. Inspired by this, we take advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automa","authors_text":"Holger Hoos, Marius Lindauer, Roland Kaminski, Torsten Schaub","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-06T09:58:02Z","title":"Solver Scheduling via Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.1024","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:3b505348a368ff0c3a21fcd10216166ca0526b62cb1eb90e13d421df4b8b4cf2","target":"record","created_at":"2026-05-18T03:03:11Z","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":"081f7a07ee9887f9358ca9931150ac1b52d27852f82e5f0c52d68b142d492e8f","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-06T09:58:02Z","title_canon_sha256":"bd5fcc1bac38299dd38da52871ee206c68dc27af28d1656cb478ad24ae87543e"},"schema_version":"1.0","source":{"id":"1401.1024","kind":"arxiv","version":1}},"canonical_sha256":"dc6e567fb39cb0763fc91d2c72edf6a1e80556d2a7ed0c65270121836ba48c8b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc6e567fb39cb0763fc91d2c72edf6a1e80556d2a7ed0c65270121836ba48c8b","first_computed_at":"2026-05-18T03:03:11.148872Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:03:11.148872Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M0wPsixS1nroentsk/FZHDSMJEmqiXCc9PMJXLqq0HAO0UnD/jI8iPnKmpTx9g5RokCrUPFffwsMJ+5LbdBHDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:03:11.149669Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.1024","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3b505348a368ff0c3a21fcd10216166ca0526b62cb1eb90e13d421df4b8b4cf2","sha256:c9e73e2bc1304294ad38fc576e63ab9e78f799fd1e7c6103ab20e74ad67865b7"],"state_sha256":"e0585ddf9c4e570438dc77eb7dff2f5a9398cd072827586f69ed14b6eaf9a2da"}