{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:3GJT2JNIOHKXYHKC4U4NVMMENE","short_pith_number":"pith:3GJT2JNI","schema_version":"1.0","canonical_sha256":"d9933d25a871d57c1d42e538dab1846902f76a7c6168c33e214063d006a7f299","source":{"kind":"arxiv","id":"1904.02541","version":1},"attestation_state":"computed","paper":{"title":"An Integer Linear Programming Formulation for the Convex Dominating Set Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.OC","authors_text":"Aleksandar Kartelj, Dragan Matic, Jozef Kratica, Vladimir Filipovic","submitted_at":"2019-04-04T13:26:32Z","abstract_excerpt":"Due to their importance in practice, dominating set problems in graphs have been greatly studied in past and different formulations of these problems are presented in literature. This paper's focus is on two problems: weakly convex dominating set problem (WCVXDSP) and convex dominating set problem (CVXDSP). It introduces two integer linear programming (ILP) formulation for CVXDSP and one ILP mode for WCVXDSP, as well as proof for equivalency between ILP models for CVXDSP. The proof of correctness for all introduced ILP formulations is provided by showing that optimal solution to the each ILP f"},"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":"1904.02541","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2019-04-04T13:26:32Z","cross_cats_sorted":["cs.DM"],"title_canon_sha256":"a7cfadfe9511726fd36f0220c2b269b8bf38785577fe13974d9b030afedf1085","abstract_canon_sha256":"31ea67f42e9c596e2be2b356bec4ead5bbd29c0c571a9ab242fde2d6c0d7efdb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:49:23.349906Z","signature_b64":"A9bKKA5ezSmcmKPE1BAXczRqhUMPHRIqpmexFv2uT45md/PfwWNgIHy+MMQbDVJgFP1VTOveTyez4hFtSo1fDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d9933d25a871d57c1d42e538dab1846902f76a7c6168c33e214063d006a7f299","last_reissued_at":"2026-05-17T23:49:23.349351Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:49:23.349351Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Integer Linear Programming Formulation for the Convex Dominating Set Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM"],"primary_cat":"math.OC","authors_text":"Aleksandar Kartelj, Dragan Matic, Jozef Kratica, Vladimir Filipovic","submitted_at":"2019-04-04T13:26:32Z","abstract_excerpt":"Due to their importance in practice, dominating set problems in graphs have been greatly studied in past and different formulations of these problems are presented in literature. This paper's focus is on two problems: weakly convex dominating set problem (WCVXDSP) and convex dominating set problem (CVXDSP). It introduces two integer linear programming (ILP) formulation for CVXDSP and one ILP mode for WCVXDSP, as well as proof for equivalency between ILP models for CVXDSP. The proof of correctness for all introduced ILP formulations is provided by showing that optimal solution to the each ILP f"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.02541","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":"1904.02541","created_at":"2026-05-17T23:49:23.349433+00:00"},{"alias_kind":"arxiv_version","alias_value":"1904.02541v1","created_at":"2026-05-17T23:49:23.349433+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.02541","created_at":"2026-05-17T23:49:23.349433+00:00"},{"alias_kind":"pith_short_12","alias_value":"3GJT2JNIOHKX","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_16","alias_value":"3GJT2JNIOHKXYHKC","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_8","alias_value":"3GJT2JNI","created_at":"2026-05-18T12:33:07.085635+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/3GJT2JNIOHKXYHKC4U4NVMMENE","json":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE.json","graph_json":"https://pith.science/api/pith-number/3GJT2JNIOHKXYHKC4U4NVMMENE/graph.json","events_json":"https://pith.science/api/pith-number/3GJT2JNIOHKXYHKC4U4NVMMENE/events.json","paper":"https://pith.science/paper/3GJT2JNI"},"agent_actions":{"view_html":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE","download_json":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE.json","view_paper":"https://pith.science/paper/3GJT2JNI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1904.02541&json=true","fetch_graph":"https://pith.science/api/pith-number/3GJT2JNIOHKXYHKC4U4NVMMENE/graph.json","fetch_events":"https://pith.science/api/pith-number/3GJT2JNIOHKXYHKC4U4NVMMENE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE/action/storage_attestation","attest_author":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE/action/author_attestation","sign_citation":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE/action/citation_signature","submit_replication":"https://pith.science/pith/3GJT2JNIOHKXYHKC4U4NVMMENE/action/replication_record"}},"created_at":"2026-05-17T23:49:23.349433+00:00","updated_at":"2026-05-17T23:49:23.349433+00:00"}