{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:6Q6UUS6YLNMWKAOQ4SILJTNIPM","short_pith_number":"pith:6Q6UUS6Y","schema_version":"1.0","canonical_sha256":"f43d4a4bd85b596501d0e490b4cda87b17db96e2c714496308d12c33bf715aaf","source":{"kind":"arxiv","id":"1404.5515","version":1},"attestation_state":"computed","paper":{"title":"An Algorithm for Detecting Fixed Points of Boolean Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.MN"],"primary_cat":"q-bio.QM","authors_text":"Yi Ming Zou","submitted_at":"2014-04-22T14:34:57Z","abstract_excerpt":"In the applications of Boolean networks to modeling biological systems, an important computational problem is the detection of the fixed points of these networks. This is an NP-complete problem in general. There have been various attempts to develop algorithms to address the computation need for large size Boolean networks. The existing methods are usually based on known algorithms and thus limited to the situations where these known algorithms can apply. In this paper, we propose a novel approach to this problem. We show that any system of Boolean equations is equivalent to one Boolean equati"},"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":"1404.5515","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"q-bio.QM","submitted_at":"2014-04-22T14:34:57Z","cross_cats_sorted":["q-bio.MN"],"title_canon_sha256":"04c3618529efe2808783f41a9cca962723f6b0913433926b5fa9e23afcecf932","abstract_canon_sha256":"a29b36b65be683376d154e39366afef574080f04cea1681585d2724d08555248"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:53:31.153989Z","signature_b64":"2gKAwERGkuxhYQe6JmBh7GdynITYH8l7KtlpyKQN7xwD+Hbq1/m+T0TNYj3bzNo87bGDJlOUe4cDMbfwfXwJCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f43d4a4bd85b596501d0e490b4cda87b17db96e2c714496308d12c33bf715aaf","last_reissued_at":"2026-05-18T02:53:31.153251Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:53:31.153251Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Algorithm for Detecting Fixed Points of Boolean Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["q-bio.MN"],"primary_cat":"q-bio.QM","authors_text":"Yi Ming Zou","submitted_at":"2014-04-22T14:34:57Z","abstract_excerpt":"In the applications of Boolean networks to modeling biological systems, an important computational problem is the detection of the fixed points of these networks. This is an NP-complete problem in general. There have been various attempts to develop algorithms to address the computation need for large size Boolean networks. The existing methods are usually based on known algorithms and thus limited to the situations where these known algorithms can apply. In this paper, we propose a novel approach to this problem. We show that any system of Boolean equations is equivalent to one Boolean equati"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.5515","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":"1404.5515","created_at":"2026-05-18T02:53:31.153373+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.5515v1","created_at":"2026-05-18T02:53:31.153373+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.5515","created_at":"2026-05-18T02:53:31.153373+00:00"},{"alias_kind":"pith_short_12","alias_value":"6Q6UUS6YLNMW","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_16","alias_value":"6Q6UUS6YLNMWKAOQ","created_at":"2026-05-18T12:28:16.859392+00:00"},{"alias_kind":"pith_short_8","alias_value":"6Q6UUS6Y","created_at":"2026-05-18T12:28:16.859392+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/6Q6UUS6YLNMWKAOQ4SILJTNIPM","json":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM.json","graph_json":"https://pith.science/api/pith-number/6Q6UUS6YLNMWKAOQ4SILJTNIPM/graph.json","events_json":"https://pith.science/api/pith-number/6Q6UUS6YLNMWKAOQ4SILJTNIPM/events.json","paper":"https://pith.science/paper/6Q6UUS6Y"},"agent_actions":{"view_html":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM","download_json":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM.json","view_paper":"https://pith.science/paper/6Q6UUS6Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.5515&json=true","fetch_graph":"https://pith.science/api/pith-number/6Q6UUS6YLNMWKAOQ4SILJTNIPM/graph.json","fetch_events":"https://pith.science/api/pith-number/6Q6UUS6YLNMWKAOQ4SILJTNIPM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM/action/storage_attestation","attest_author":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM/action/author_attestation","sign_citation":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM/action/citation_signature","submit_replication":"https://pith.science/pith/6Q6UUS6YLNMWKAOQ4SILJTNIPM/action/replication_record"}},"created_at":"2026-05-18T02:53:31.153373+00:00","updated_at":"2026-05-18T02:53:31.153373+00:00"}