{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:OMHU4OILIIBL7K7NIUPVHXY5YT","short_pith_number":"pith:OMHU4OIL","schema_version":"1.0","canonical_sha256":"730f4e390b4202bfabed451f53df1dc4c0734c12c2abd091d192f7d459917488","source":{"kind":"arxiv","id":"1204.5714","version":1},"attestation_state":"computed","paper":{"title":"Degree two approximate Boolean #CSPs with variable weights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Colin McQuillan","submitted_at":"2012-04-25T17:40:10Z","abstract_excerpt":"A counting constraint satisfaction problem (#CSP) asks for the number of ways to satisfy a given list of constraints, drawn from a fixed constraint language \\Gamma. We study how hard it is to evaluate this number approximately. There is an interesting partial classification, due to Dyer, Goldberg, Jalsenius and Richerby, of Boolean constraint languages when the degree of instances is bounded by d>=3 - every variable appears in at most d constraints - under the assumption that \"pinning\" is allowed as part of the instance. We study the d=2 case under the stronger assumption that \"variable weight"},"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":"1204.5714","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2012-04-25T17:40:10Z","cross_cats_sorted":[],"title_canon_sha256":"e1e98cc25f679fb153968f6e24e3780c64c3f1609ffea49931cdf8aae0bec6ac","abstract_canon_sha256":"ced5bc872d37dfa032ec011d8011f1766de5aae7fe07fd29dda693370632fb6e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:57:01.550046Z","signature_b64":"U55BlEkyDdYh/30k75bcY+OUjBL8OVw/kWIgkoufjY0EdCcICDuUZBmmVJ7MHkNLkEVkZgvrfOQP14bHID3NAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"730f4e390b4202bfabed451f53df1dc4c0734c12c2abd091d192f7d459917488","last_reissued_at":"2026-05-18T03:57:01.549252Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:57:01.549252Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Degree two approximate Boolean #CSPs with variable weights","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.CC","authors_text":"Colin McQuillan","submitted_at":"2012-04-25T17:40:10Z","abstract_excerpt":"A counting constraint satisfaction problem (#CSP) asks for the number of ways to satisfy a given list of constraints, drawn from a fixed constraint language \\Gamma. We study how hard it is to evaluate this number approximately. There is an interesting partial classification, due to Dyer, Goldberg, Jalsenius and Richerby, of Boolean constraint languages when the degree of instances is bounded by d>=3 - every variable appears in at most d constraints - under the assumption that \"pinning\" is allowed as part of the instance. We study the d=2 case under the stronger assumption that \"variable weight"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.5714","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":"1204.5714","created_at":"2026-05-18T03:57:01.549386+00:00"},{"alias_kind":"arxiv_version","alias_value":"1204.5714v1","created_at":"2026-05-18T03:57:01.549386+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.5714","created_at":"2026-05-18T03:57:01.549386+00:00"},{"alias_kind":"pith_short_12","alias_value":"OMHU4OILIIBL","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_16","alias_value":"OMHU4OILIIBL7K7N","created_at":"2026-05-18T12:27:16.716162+00:00"},{"alias_kind":"pith_short_8","alias_value":"OMHU4OIL","created_at":"2026-05-18T12:27:16.716162+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/OMHU4OILIIBL7K7NIUPVHXY5YT","json":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT.json","graph_json":"https://pith.science/api/pith-number/OMHU4OILIIBL7K7NIUPVHXY5YT/graph.json","events_json":"https://pith.science/api/pith-number/OMHU4OILIIBL7K7NIUPVHXY5YT/events.json","paper":"https://pith.science/paper/OMHU4OIL"},"agent_actions":{"view_html":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT","download_json":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT.json","view_paper":"https://pith.science/paper/OMHU4OIL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1204.5714&json=true","fetch_graph":"https://pith.science/api/pith-number/OMHU4OILIIBL7K7NIUPVHXY5YT/graph.json","fetch_events":"https://pith.science/api/pith-number/OMHU4OILIIBL7K7NIUPVHXY5YT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT/action/storage_attestation","attest_author":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT/action/author_attestation","sign_citation":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT/action/citation_signature","submit_replication":"https://pith.science/pith/OMHU4OILIIBL7K7NIUPVHXY5YT/action/replication_record"}},"created_at":"2026-05-18T03:57:01.549386+00:00","updated_at":"2026-05-18T03:57:01.549386+00:00"}