{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:67MU6XPTDRCEQNW6D6KNHXZNWS","short_pith_number":"pith:67MU6XPT","schema_version":"1.0","canonical_sha256":"f7d94f5df31c444836de1f94d3df2db49696171d745b4b0175fcbc7c7ef537f4","source":{"kind":"arxiv","id":"2603.13854","version":2},"attestation_state":"computed","paper":{"title":"Power Term Polynomial Algebra for Boolean Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SC"],"primary_cat":"cs.LO","authors_text":"Armando Solar-Lezama, Emanuele Sansone","submitted_at":"2026-03-14T09:22:52Z","abstract_excerpt":"We introduce power term polynomial algebra, a representation language for Boolean formulae designed to bridge conjunctive normal form (CNF) and algebraic normal form (ANF). The language is motivated by the tiling mismatch between these representations: direct CNF<->ANF conversion may cause exponential blowup unless formulas are decomposed into smaller fragments, typically through auxiliary variables and side constraints. In contrast, our framework addresses this mismatch within the representation itself, compactly encoding structured families of monomials while representing CNF clauses directl"},"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":"2603.13854","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-03-14T09:22:52Z","cross_cats_sorted":["cs.AI","cs.SC"],"title_canon_sha256":"d510cf7c7209dca20d05e52e4929b388307afdf3d27d1c88fba288c7a23f9370","abstract_canon_sha256":"5c693ea2a4c2335f70d9c66f9820dea2386a60ba0263f70f88c6c8f99da2ba5f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-11T00:08:12.374294Z","signature_b64":"+EkGpJm24fgPWhpTcPHsOlReW03unNGrnsn/loO9l0Keod8dEYNLQxkOETxPm1ms5hVMqfGjKEymf4yjU/ycCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f7d94f5df31c444836de1f94d3df2db49696171d745b4b0175fcbc7c7ef537f4","last_reissued_at":"2026-06-11T00:08:12.373243Z","signature_status":"signed_v1","first_computed_at":"2026-06-11T00:08:12.373243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Power Term Polynomial Algebra for Boolean Logic","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.SC"],"primary_cat":"cs.LO","authors_text":"Armando Solar-Lezama, Emanuele Sansone","submitted_at":"2026-03-14T09:22:52Z","abstract_excerpt":"We introduce power term polynomial algebra, a representation language for Boolean formulae designed to bridge conjunctive normal form (CNF) and algebraic normal form (ANF). The language is motivated by the tiling mismatch between these representations: direct CNF<->ANF conversion may cause exponential blowup unless formulas are decomposed into smaller fragments, typically through auxiliary variables and side constraints. In contrast, our framework addresses this mismatch within the representation itself, compactly encoding structured families of monomials while representing CNF clauses directl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2603.13854","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/2603.13854/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":"2603.13854","created_at":"2026-06-11T00:08:12.373412+00:00"},{"alias_kind":"arxiv_version","alias_value":"2603.13854v2","created_at":"2026-06-11T00:08:12.373412+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2603.13854","created_at":"2026-06-11T00:08:12.373412+00:00"},{"alias_kind":"pith_short_12","alias_value":"67MU6XPTDRCE","created_at":"2026-06-11T00:08:12.373412+00:00"},{"alias_kind":"pith_short_16","alias_value":"67MU6XPTDRCEQNW6","created_at":"2026-06-11T00:08:12.373412+00:00"},{"alias_kind":"pith_short_8","alias_value":"67MU6XPT","created_at":"2026-06-11T00:08:12.373412+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/67MU6XPTDRCEQNW6D6KNHXZNWS","json":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS.json","graph_json":"https://pith.science/api/pith-number/67MU6XPTDRCEQNW6D6KNHXZNWS/graph.json","events_json":"https://pith.science/api/pith-number/67MU6XPTDRCEQNW6D6KNHXZNWS/events.json","paper":"https://pith.science/paper/67MU6XPT"},"agent_actions":{"view_html":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS","download_json":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS.json","view_paper":"https://pith.science/paper/67MU6XPT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2603.13854&json=true","fetch_graph":"https://pith.science/api/pith-number/67MU6XPTDRCEQNW6D6KNHXZNWS/graph.json","fetch_events":"https://pith.science/api/pith-number/67MU6XPTDRCEQNW6D6KNHXZNWS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS/action/storage_attestation","attest_author":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS/action/author_attestation","sign_citation":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS/action/citation_signature","submit_replication":"https://pith.science/pith/67MU6XPTDRCEQNW6D6KNHXZNWS/action/replication_record"}},"created_at":"2026-06-11T00:08:12.373412+00:00","updated_at":"2026-06-11T00:08:12.373412+00:00"}