{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:CMEC75HYLXMO3GLDFDE7PDVJLL","short_pith_number":"pith:CMEC75HY","schema_version":"1.0","canonical_sha256":"13082ff4f85dd8ed996328c9f78ea95ae43b0f3bda9a05c3937353db5dd91533","source":{"kind":"arxiv","id":"2412.10289","version":2},"attestation_state":"computed","paper":{"title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Jai Grover, Markus Hecher, Max Bannach","submitted_at":"2024-12-13T17:18:08Z","abstract_excerpt":"Hardware accelerators like quantum annealers or neuromorphic chips are capable of finding the ground state of a Hamiltonian. A promising route in utilizing these devices is via methods from automated reasoning: The problem at hand is first encoded into MaxSAT; then MaxSAT is reduced to Max2SAT; and finally, Max2SAT is translated into a Hamiltonian. It was observed that different encodings can dramatically affect the efficiency of the hardware accelerators. Yet, previous studies were only concerned with the size of the encodings rather than with syntactic or structural properties.\n  We establis"},"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":"2412.10289","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.LO","submitted_at":"2024-12-13T17:18:08Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"397e495d825688ada921bacf71fd9f6db40fd9f302aa021a3fea62fbaae24aa1","abstract_canon_sha256":"9ad6aeef65c63996e9ba923d91c192752d7b27521593c5d53be53dad43a02d51"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:24:28.879954Z","signature_b64":"LqJe+xWQRO3281yQPZIgVz298EhaLduCbtOCMte2E4mE0S/fJc6RegRL18hg1BYMyMHtnZBPTNiO5llx/R6FDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"13082ff4f85dd8ed996328c9f78ea95ae43b0f3bda9a05c3937353db5dd91533","last_reissued_at":"2026-07-05T10:24:28.879356Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:24:28.879356Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Jai Grover, Markus Hecher, Max Bannach","submitted_at":"2024-12-13T17:18:08Z","abstract_excerpt":"Hardware accelerators like quantum annealers or neuromorphic chips are capable of finding the ground state of a Hamiltonian. A promising route in utilizing these devices is via methods from automated reasoning: The problem at hand is first encoded into MaxSAT; then MaxSAT is reduced to Max2SAT; and finally, Max2SAT is translated into a Hamiltonian. It was observed that different encodings can dramatically affect the efficiency of the hardware accelerators. Yet, previous studies were only concerned with the size of the encodings rather than with syntactic or structural properties.\n  We establis"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.10289","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.10289/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2412.10289","created_at":"2026-07-05T10:24:28.879423+00:00"},{"alias_kind":"arxiv_version","alias_value":"2412.10289v2","created_at":"2026-07-05T10:24:28.879423+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.10289","created_at":"2026-07-05T10:24:28.879423+00:00"},{"alias_kind":"pith_short_12","alias_value":"CMEC75HYLXMO","created_at":"2026-07-05T10:24:28.879423+00:00"},{"alias_kind":"pith_short_16","alias_value":"CMEC75HYLXMO3GLD","created_at":"2026-07-05T10:24:28.879423+00:00"},{"alias_kind":"pith_short_8","alias_value":"CMEC75HY","created_at":"2026-07-05T10:24:28.879423+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/CMEC75HYLXMO3GLDFDE7PDVJLL","json":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL.json","graph_json":"https://pith.science/api/pith-number/CMEC75HYLXMO3GLDFDE7PDVJLL/graph.json","events_json":"https://pith.science/api/pith-number/CMEC75HYLXMO3GLDFDE7PDVJLL/events.json","paper":"https://pith.science/paper/CMEC75HY"},"agent_actions":{"view_html":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL","download_json":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL.json","view_paper":"https://pith.science/paper/CMEC75HY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2412.10289&json=true","fetch_graph":"https://pith.science/api/pith-number/CMEC75HYLXMO3GLDFDE7PDVJLL/graph.json","fetch_events":"https://pith.science/api/pith-number/CMEC75HYLXMO3GLDFDE7PDVJLL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL/action/storage_attestation","attest_author":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL/action/author_attestation","sign_citation":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL/action/citation_signature","submit_replication":"https://pith.science/pith/CMEC75HYLXMO3GLDFDE7PDVJLL/action/replication_record"}},"created_at":"2026-07-05T10:24:28.879423+00:00","updated_at":"2026-07-05T10:24:28.879423+00:00"}