{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:RLI7WM6UWU7M6LRCRFNWJNSFU3","short_pith_number":"pith:RLI7WM6U","schema_version":"1.0","canonical_sha256":"8ad1fb33d4b53ecf2e22895b64b645a6d1aad9292e16c2fecc05805b214521f2","source":{"kind":"arxiv","id":"1702.04047","version":3},"attestation_state":"computed","paper":{"title":"Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Marcello Balduccini, Yuliya Lierler","submitted_at":"2017-02-14T02:29:29Z","abstract_excerpt":"Researchers in answer set programming and constraint programming have spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming. Constraint answer set programming languages and systems proved to be successful at providing declarative, yet efficient solutions to problems involving hybrid reasoning tasks. One of the main contributions of this paper is the first comprehensive account of the constraint answer set language and"},"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":"1702.04047","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-02-14T02:29:29Z","cross_cats_sorted":[],"title_canon_sha256":"d422262102991d7dd9ae9743cf9271cade5c6965c23f31e4b3f9f57f1d1b58a0","abstract_canon_sha256":"90e36f8e697d63f1cc0563cd11d776a8119028188a348672cfc51077db9443b9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:10.742181Z","signature_b64":"5H0iRVWKOy06K0k8lA4HbOBRd0BwrDV/R8vOfCmwP4wc6x0saGWZqfADIrzaUCg3fN5XA47FfbSwh4VSx/i6CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8ad1fb33d4b53ecf2e22895b64b645a6d1aad9292e16c2fecc05805b214521f2","last_reissued_at":"2026-05-18T00:29:10.741732Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:10.741732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Constraint Answer Set Solver EZCSP and Why Integration Schemas Matter","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Marcello Balduccini, Yuliya Lierler","submitted_at":"2017-02-14T02:29:29Z","abstract_excerpt":"Researchers in answer set programming and constraint programming have spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate fields. These efforts resulted in a new research area: constraint answer set programming. Constraint answer set programming languages and systems proved to be successful at providing declarative, yet efficient solutions to problems involving hybrid reasoning tasks. One of the main contributions of this paper is the first comprehensive account of the constraint answer set language and"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1702.04047","kind":"arxiv","version":3},"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":"1702.04047","created_at":"2026-05-18T00:29:10.741808+00:00"},{"alias_kind":"arxiv_version","alias_value":"1702.04047v3","created_at":"2026-05-18T00:29:10.741808+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1702.04047","created_at":"2026-05-18T00:29:10.741808+00:00"},{"alias_kind":"pith_short_12","alias_value":"RLI7WM6UWU7M","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_16","alias_value":"RLI7WM6UWU7M6LRC","created_at":"2026-05-18T12:31:39.905425+00:00"},{"alias_kind":"pith_short_8","alias_value":"RLI7WM6U","created_at":"2026-05-18T12:31:39.905425+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/RLI7WM6UWU7M6LRCRFNWJNSFU3","json":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3.json","graph_json":"https://pith.science/api/pith-number/RLI7WM6UWU7M6LRCRFNWJNSFU3/graph.json","events_json":"https://pith.science/api/pith-number/RLI7WM6UWU7M6LRCRFNWJNSFU3/events.json","paper":"https://pith.science/paper/RLI7WM6U"},"agent_actions":{"view_html":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3","download_json":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3.json","view_paper":"https://pith.science/paper/RLI7WM6U","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1702.04047&json=true","fetch_graph":"https://pith.science/api/pith-number/RLI7WM6UWU7M6LRCRFNWJNSFU3/graph.json","fetch_events":"https://pith.science/api/pith-number/RLI7WM6UWU7M6LRCRFNWJNSFU3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3/action/storage_attestation","attest_author":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3/action/author_attestation","sign_citation":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3/action/citation_signature","submit_replication":"https://pith.science/pith/RLI7WM6UWU7M6LRCRFNWJNSFU3/action/replication_record"}},"created_at":"2026-05-18T00:29:10.741808+00:00","updated_at":"2026-05-18T00:29:10.741808+00:00"}