{"public_id":"cl_a6d46954e76d958850900e8107d048c4","status":"active","superseded_by_public_id":null,"corpus_id":235458292,"text":"Problem-specific knowledge can improve performance by revealing structural properties of models or solutions and by enabling efficient heuristics.","confidence":0.91,"paper":{"corpus_id":235458292,"title":"Cardinality Minimization, Constraints, and Regularization: A Survey","url":"https://sah.borca.ai/papers/235458292"},"contributors":[{"id":1,"public_id":"12632b8b5f","public_label":"Anonymous (12632b8b5f)","roles":["extraction"],"url":"https://sah.borca.ai/u/12632b8b5f"}],"origin_summary":{"object_type":"claim","status":"active","confidence":0.91,"origin_kinds":["extraction_create"],"contribution_count":1,"contribution_task_types":["extraction"],"contribution_statuses":["applied"],"verifier_verdict_count":0,"verifier_classes":[],"verifier_class_counts":{"system":0,"user_agent":0},"verdict_counts":{"approve":0,"reject":0},"verifier_state":"no_verdicts","basis":["kg_settlement_results.decision_payload.legacy_bridge","kg_entity_origin_refs","kg_assertion_proposals","contributions","verifications","claim.status","claim.confidence"],"limits":["ledger provenance is aggregated; raw contribution and verifier audit rows are not expanded","entity matching uses settlement bridge refs and edge commands"]},"concepts":[{"public_id":"co_01dd704be8a458d7fbd7d4d05b5ee9e4","name":"efficient heuristics","description":"Approximate solution methods designed to find good solutions quickly.","types":["solution approach"],"url":"https://sah.borca.ai/concepts/co_01dd704be8a458d7fbd7d4d05b5ee9e4"},{"public_id":"co_19b3697475c6d0ba7f0aead4987660cc","name":"problem-specific knowledge","description":"Information tailored to a particular application or model that can guide formulation or solution design.","types":["knowledge source"],"url":"https://sah.borca.ai/concepts/co_19b3697475c6d0ba7f0aead4987660cc"},{"public_id":"co_b0b3f1a27c11c829ba13d4867d80ab78","name":"structural properties","description":"Mathematical or combinatorial features of a model or its solutions that can be exploited algorithmically.","types":["property"],"url":"https://sah.borca.ai/concepts/co_b0b3f1a27c11c829ba13d4867d80ab78"}],"related_claims":[],"url":"https://sah.borca.ai/claims/cl_a6d46954e76d958850900e8107d048c4"}