{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:UERSMJE5J7ZC5JNEBYCAMG2PP3","short_pith_number":"pith:UERSMJE5","schema_version":"1.0","canonical_sha256":"a12326249d4ff22ea5a40e04061b4f7ef0b90812b03635d009774ae6e946f358","source":{"kind":"arxiv","id":"1705.04569","version":1},"attestation_state":"computed","paper":{"title":"Clingcon: The Next Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Benjamin Kaufmann, Max Ostrowski, Mutsunori Banbara, Torsten Schaub","submitted_at":"2017-05-12T13:57:31Z","abstract_excerpt":"We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach to hybrid solving by integrating the CP solver gecode, the new clingcon system pursues a lazy approach using dedicated constraint propagators to extend propagation in the underlying ASP solver clasp. No extension is needed for parsing and grounding clingcon's hybrid modeling language since both can be accommodated by the new generic theory handling capabilities of the ASP grounder "},"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":"1705.04569","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-12T13:57:31Z","cross_cats_sorted":[],"title_canon_sha256":"25207dff127711d2cf8f1caf34194cad5555fc07fcd84dc93dc5f6ee71a151aa","abstract_canon_sha256":"c917ce6cdc30d2fdcc497582035be05dbdaa3ce9672ddd2d5863e78285352be6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:37.783735Z","signature_b64":"DUAXG8KukNfxIr3IKVu934fn0YmLp/PtlKBNgEle0CeLyJJ7Ub84gxExfwzepIraeUz4m98wi1PWyk78Uke5Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a12326249d4ff22ea5a40e04061b4f7ef0b90812b03635d009774ae6e946f358","last_reissued_at":"2026-05-18T00:44:37.782985Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:37.782985Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Clingcon: The Next Generation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Benjamin Kaufmann, Max Ostrowski, Mutsunori Banbara, Torsten Schaub","submitted_at":"2017-05-12T13:57:31Z","abstract_excerpt":"We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach to hybrid solving by integrating the CP solver gecode, the new clingcon system pursues a lazy approach using dedicated constraint propagators to extend propagation in the underlying ASP solver clasp. No extension is needed for parsing and grounding clingcon's hybrid modeling language since both can be accommodated by the new generic theory handling capabilities of the ASP grounder "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.04569","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":"1705.04569","created_at":"2026-05-18T00:44:37.783122+00:00"},{"alias_kind":"arxiv_version","alias_value":"1705.04569v1","created_at":"2026-05-18T00:44:37.783122+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.04569","created_at":"2026-05-18T00:44:37.783122+00:00"},{"alias_kind":"pith_short_12","alias_value":"UERSMJE5J7ZC","created_at":"2026-05-18T12:31:46.661854+00:00"},{"alias_kind":"pith_short_16","alias_value":"UERSMJE5J7ZC5JNE","created_at":"2026-05-18T12:31:46.661854+00:00"},{"alias_kind":"pith_short_8","alias_value":"UERSMJE5","created_at":"2026-05-18T12:31:46.661854+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/UERSMJE5J7ZC5JNEBYCAMG2PP3","json":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3.json","graph_json":"https://pith.science/api/pith-number/UERSMJE5J7ZC5JNEBYCAMG2PP3/graph.json","events_json":"https://pith.science/api/pith-number/UERSMJE5J7ZC5JNEBYCAMG2PP3/events.json","paper":"https://pith.science/paper/UERSMJE5"},"agent_actions":{"view_html":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3","download_json":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3.json","view_paper":"https://pith.science/paper/UERSMJE5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1705.04569&json=true","fetch_graph":"https://pith.science/api/pith-number/UERSMJE5J7ZC5JNEBYCAMG2PP3/graph.json","fetch_events":"https://pith.science/api/pith-number/UERSMJE5J7ZC5JNEBYCAMG2PP3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3/action/storage_attestation","attest_author":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3/action/author_attestation","sign_citation":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3/action/citation_signature","submit_replication":"https://pith.science/pith/UERSMJE5J7ZC5JNEBYCAMG2PP3/action/replication_record"}},"created_at":"2026-05-18T00:44:37.783122+00:00","updated_at":"2026-05-18T00:44:37.783122+00:00"}