{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:YTZQUQRREUTCEIFZJH3QXFYOTQ","short_pith_number":"pith:YTZQUQRR","canonical_record":{"source":{"id":"2302.06867","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-02-14T07:12:36Z","cross_cats_sorted":[],"title_canon_sha256":"ed4449e4a469df137d77a26c9b59fd46bc82c1d1f03fa19cf421d5496f84c280","abstract_canon_sha256":"16d370f5eb12c1d65a0eb7411b1ffef11245a0d789938b68d626748da939b94f"},"schema_version":"1.0"},"canonical_sha256":"c4f30a423125262220b949f70b970e9c244018b975587006b067976965e8c012","source":{"kind":"arxiv","id":"2302.06867","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.06867","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"arxiv_version","alias_value":"2302.06867v1","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.06867","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"pith_short_12","alias_value":"YTZQUQRREUTC","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"pith_short_16","alias_value":"YTZQUQRREUTCEIFZ","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"pith_short_8","alias_value":"YTZQUQRR","created_at":"2026-07-05T05:41:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:YTZQUQRREUTCEIFZJH3QXFYOTQ","target":"record","payload":{"canonical_record":{"source":{"id":"2302.06867","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-02-14T07:12:36Z","cross_cats_sorted":[],"title_canon_sha256":"ed4449e4a469df137d77a26c9b59fd46bc82c1d1f03fa19cf421d5496f84c280","abstract_canon_sha256":"16d370f5eb12c1d65a0eb7411b1ffef11245a0d789938b68d626748da939b94f"},"schema_version":"1.0"},"canonical_sha256":"c4f30a423125262220b949f70b970e9c244018b975587006b067976965e8c012","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:41:44.607799Z","signature_b64":"8NnwUsGjNCECKfb2JolusuVN0eBPyGv6vhb3IUH2NUHO2DsSvn+V/vJLozljhhIG5SIJ5tPNFnPZYjBJJDkADw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c4f30a423125262220b949f70b970e9c244018b975587006b067976965e8c012","last_reissued_at":"2026-07-05T05:41:44.607310Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:41:44.607310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2302.06867","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:41:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6r9sLWshcIdeV9RH+/quzn2jg49Q9NBp1AEL9dPiaY3YIzMjVv492trDXcnoM11ZdpfFKnSjVp7GUQpEcLJrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T00:21:02.099326Z"},"content_sha256":"1bcc721777ffb5f3192c6094096c611887410b92e4721d53d6c473ffcb0da2aa","schema_version":"1.0","event_id":"sha256:1bcc721777ffb5f3192c6094096c611887410b92e4721d53d6c473ffcb0da2aa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:YTZQUQRREUTCEIFZJH3QXFYOTQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning on Feature Models: Compilation-Based vs. Direct Approaches","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Cl\\'ement Quinton, Emmanuel Lonca, J\\'er\\'emie Dusart, Laurence Duchien, Pierre Bourhis, Pierre Marquis","submitted_at":"2023-02-14T07:12:36Z","abstract_excerpt":"Analyzing a Feature Model (FM) and reasoning on the corresponding configuration space is a central task in Software Product Line (SPL) engineering. Problems such as deciding the satisfiability of the FM and eliminating inconsistent parts of the FM have been well resolved by translating the FM into a conjunctive normal form (CNF) formula, and then feeding the CNF to a SAT solver. However, this approach has some limits for other important reasoning issues about the FM, such as counting or enumerating configurations. Two mainstream approaches have been investigated in this direction: (i) direct a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.06867","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2302.06867/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T05:41:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YuRkWg4Sqw0uypZYZdN5k4uif6N7qvRj2o+pndXcwXiSrw6i73OGr/e2YGlRwB4CqWhYY5VHyW7j0He7VHzcAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T00:21:02.099848Z"},"content_sha256":"d20200a25e31d0f18ead7855d7cf0bb5f18eccb3afb89b6cc6e44f2efef9ed2b","schema_version":"1.0","event_id":"sha256:d20200a25e31d0f18ead7855d7cf0bb5f18eccb3afb89b6cc6e44f2efef9ed2b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YTZQUQRREUTCEIFZJH3QXFYOTQ/bundle.json","state_url":"https://pith.science/pith/YTZQUQRREUTCEIFZJH3QXFYOTQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YTZQUQRREUTCEIFZJH3QXFYOTQ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-06T00:21:02Z","links":{"resolver":"https://pith.science/pith/YTZQUQRREUTCEIFZJH3QXFYOTQ","bundle":"https://pith.science/pith/YTZQUQRREUTCEIFZJH3QXFYOTQ/bundle.json","state":"https://pith.science/pith/YTZQUQRREUTCEIFZJH3QXFYOTQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YTZQUQRREUTCEIFZJH3QXFYOTQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:YTZQUQRREUTCEIFZJH3QXFYOTQ","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"16d370f5eb12c1d65a0eb7411b1ffef11245a0d789938b68d626748da939b94f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-02-14T07:12:36Z","title_canon_sha256":"ed4449e4a469df137d77a26c9b59fd46bc82c1d1f03fa19cf421d5496f84c280"},"schema_version":"1.0","source":{"id":"2302.06867","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2302.06867","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"arxiv_version","alias_value":"2302.06867v1","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2302.06867","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"pith_short_12","alias_value":"YTZQUQRREUTC","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"pith_short_16","alias_value":"YTZQUQRREUTCEIFZ","created_at":"2026-07-05T05:41:44Z"},{"alias_kind":"pith_short_8","alias_value":"YTZQUQRR","created_at":"2026-07-05T05:41:44Z"}],"graph_snapshots":[{"event_id":"sha256:d20200a25e31d0f18ead7855d7cf0bb5f18eccb3afb89b6cc6e44f2efef9ed2b","target":"graph","created_at":"2026-07-05T05:41:44Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2302.06867/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Analyzing a Feature Model (FM) and reasoning on the corresponding configuration space is a central task in Software Product Line (SPL) engineering. Problems such as deciding the satisfiability of the FM and eliminating inconsistent parts of the FM have been well resolved by translating the FM into a conjunctive normal form (CNF) formula, and then feeding the CNF to a SAT solver. However, this approach has some limits for other important reasoning issues about the FM, such as counting or enumerating configurations. Two mainstream approaches have been investigated in this direction: (i) direct a","authors_text":"Cl\\'ement Quinton, Emmanuel Lonca, J\\'er\\'emie Dusart, Laurence Duchien, Pierre Bourhis, Pierre Marquis","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-02-14T07:12:36Z","title":"Reasoning on Feature Models: Compilation-Based vs. Direct Approaches"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2302.06867","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:1bcc721777ffb5f3192c6094096c611887410b92e4721d53d6c473ffcb0da2aa","target":"record","created_at":"2026-07-05T05:41:44Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"16d370f5eb12c1d65a0eb7411b1ffef11245a0d789938b68d626748da939b94f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2023-02-14T07:12:36Z","title_canon_sha256":"ed4449e4a469df137d77a26c9b59fd46bc82c1d1f03fa19cf421d5496f84c280"},"schema_version":"1.0","source":{"id":"2302.06867","kind":"arxiv","version":1}},"canonical_sha256":"c4f30a423125262220b949f70b970e9c244018b975587006b067976965e8c012","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4f30a423125262220b949f70b970e9c244018b975587006b067976965e8c012","first_computed_at":"2026-07-05T05:41:44.607310Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:41:44.607310Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8NnwUsGjNCECKfb2JolusuVN0eBPyGv6vhb3IUH2NUHO2DsSvn+V/vJLozljhhIG5SIJ5tPNFnPZYjBJJDkADw==","signature_status":"signed_v1","signed_at":"2026-07-05T05:41:44.607799Z","signed_message":"canonical_sha256_bytes"},"source_id":"2302.06867","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1bcc721777ffb5f3192c6094096c611887410b92e4721d53d6c473ffcb0da2aa","sha256:d20200a25e31d0f18ead7855d7cf0bb5f18eccb3afb89b6cc6e44f2efef9ed2b"],"state_sha256":"a5553b51bd26f43388b6d9eb4c347d91a598505692e230c0158fbcaa6375ee02"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"54MSFxmPtgliWmh5hyrQV2HnAydYQcwk3m4043qa0yR7mFc0se+iOZ+N5fBONafHKsPcVzoURUwBCJQiHN4hDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T00:21:02.105736Z","bundle_sha256":"df147951fae31510b409d29b5b6b7fd82d110c5eb5e17868a7dd8b9c30f40419"}}