{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:ZPM7CFHJWUJZLJQUBBTUEDYYJF","short_pith_number":"pith:ZPM7CFHJ","schema_version":"1.0","canonical_sha256":"cbd9f114e9b51395a6140867420f18494142d97a3ce6bbb2dc8bf82e4e11d79e","source":{"kind":"arxiv","id":"1812.09207","version":1},"attestation_state":"computed","paper":{"title":"Solution Dominance over Constraint Satisfaction Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Guido Tack, Peter J. Stuckey, Tias Guns","submitted_at":"2018-12-21T15:54:34Z","abstract_excerpt":"Constraint Satisfaction Problems (CSPs) typically have many solutions that satisfy all constraints. Often though, some solutions are preferred over others, that is, some solutions dominate other solutions. We present solution dominance as a formal framework to reason about such settings. We define Constraint Dominance Problems (CDPs) as CSPs with a dominance relation, that is, a preorder over the solutions of the CSP. This framework captures many well-known variants of constraint satisfaction, including optimization, multi-objective optimization, Max-CSP, minimal models, minimum correction sub"},"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":"1812.09207","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-12-21T15:54:34Z","cross_cats_sorted":[],"title_canon_sha256":"ca9102e35d803b7f4dc65ee81ff0b2eae3c83df84497a3e161c81a409a53f636","abstract_canon_sha256":"093e173abef6763c13140dab6174b6ec2003c9d3bb8303ca38f6cfde16a20769"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:57:45.065215Z","signature_b64":"r4dITsMVnST9ZNnnqtsI1n3Kf8BLOwVEuE7vhMaHp1AY8uPX317G/sU4qjnWK0WxGefqI2tHx7DyisF07E7BCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cbd9f114e9b51395a6140867420f18494142d97a3ce6bbb2dc8bf82e4e11d79e","last_reissued_at":"2026-05-17T23:57:45.064700Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:57:45.064700Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Solution Dominance over Constraint Satisfaction Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Guido Tack, Peter J. Stuckey, Tias Guns","submitted_at":"2018-12-21T15:54:34Z","abstract_excerpt":"Constraint Satisfaction Problems (CSPs) typically have many solutions that satisfy all constraints. Often though, some solutions are preferred over others, that is, some solutions dominate other solutions. We present solution dominance as a formal framework to reason about such settings. We define Constraint Dominance Problems (CDPs) as CSPs with a dominance relation, that is, a preorder over the solutions of the CSP. This framework captures many well-known variants of constraint satisfaction, including optimization, multi-objective optimization, Max-CSP, minimal models, minimum correction sub"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.09207","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":"1812.09207","created_at":"2026-05-17T23:57:45.064772+00:00"},{"alias_kind":"arxiv_version","alias_value":"1812.09207v1","created_at":"2026-05-17T23:57:45.064772+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.09207","created_at":"2026-05-17T23:57:45.064772+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZPM7CFHJWUJZ","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZPM7CFHJWUJZLJQU","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZPM7CFHJ","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/ZPM7CFHJWUJZLJQUBBTUEDYYJF","json":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF.json","graph_json":"https://pith.science/api/pith-number/ZPM7CFHJWUJZLJQUBBTUEDYYJF/graph.json","events_json":"https://pith.science/api/pith-number/ZPM7CFHJWUJZLJQUBBTUEDYYJF/events.json","paper":"https://pith.science/paper/ZPM7CFHJ"},"agent_actions":{"view_html":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF","download_json":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF.json","view_paper":"https://pith.science/paper/ZPM7CFHJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1812.09207&json=true","fetch_graph":"https://pith.science/api/pith-number/ZPM7CFHJWUJZLJQUBBTUEDYYJF/graph.json","fetch_events":"https://pith.science/api/pith-number/ZPM7CFHJWUJZLJQUBBTUEDYYJF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF/action/storage_attestation","attest_author":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF/action/author_attestation","sign_citation":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF/action/citation_signature","submit_replication":"https://pith.science/pith/ZPM7CFHJWUJZLJQUBBTUEDYYJF/action/replication_record"}},"created_at":"2026-05-17T23:57:45.064772+00:00","updated_at":"2026-05-17T23:57:45.064772+00:00"}