{"as_of":"2026-08-18T03:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:40eab0e2fe2a1a5f1dd43b23558e2b59993b5a15a083e7780705212852c83f49","coverage":[{"denominator":99,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":99,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T04:46:52.387749Z","state":"measured"},{"denominator":99,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":99,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.13642/citation-record","integrity":"/paper/2607.13642/integrity","json":"/paper/2607.13642/citation-record.json","paper":"/paper/2607.13642"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:43.981988Z","title":"Cook , editor =","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:43.981988Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:0f7dff77cd3660c54d52b3749d8d13ba7eb547f376b211efa86c346f6777d7f2","observation_id":"2b2567d7-8644-401f-bbba-dba5ce61a0ae","resolution":{"observed_at":"2026-08-02T04:46:43.981988Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:44.056166Z","title":"The Thirteenth International Conference on Learning Representations,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.056166Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:cb26a0e9eb496cb74827a7691d1e542ed669a4bbc54be2c53177ac0c2983a3c1","observation_id":"67143374-8d52-4bbd-9f19-66a0a233e9bc","resolution":{"observed_at":"2026-08-02T04:46:44.056166Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:44.159477Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.159477Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:f9d0b3079c302f6b23434e63f3a0cf350595dde8877ecfc3317c86676cebf8e8","observation_id":"d6ad9ff9-5a58-490d-b439-f6118f37d5f1","resolution":{"observed_at":"2026-08-02T04:46:44.159477Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/978-1-61499-674-3-139","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models , booktitle =","venue":"Frontiers in artificial intelligence and applications","work_id":"d1007377-df67-4a06-aff2-9b54b43a7864","year":2016},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.218732Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:5feee772a0f686516a94d18bc2dbd9ef5704127e5edc14d0e72838b5e6cd5317","observation_id":"f3a45f9b-a1fe-45dd-89ed-3dc482f93972","resolution":{"observed_at":"2026-08-02T04:48:28.818334Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:44.291472Z","title":"CaDiCaL 2.0 , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.291472Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ad88c05eaa5007596ec276d02cfd7dedf6650b4a333fc8add2321fb61a8126cf","observation_id":"60d6295c-604f-499b-8843-68675ce0cc4d","resolution":{"observed_at":"2026-08-02T04:46:44.291472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:44.375411Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.375411Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:2353d4fb7da401e729974e5bc7efcad015a844b814170721153730da632406d5","observation_id":"3405cc1c-bdac-4434-95f4-5e55972bdab2","resolution":{"observed_at":"2026-08-02T04:46:44.375411Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:44.437709Z","title":"Definability for model counting , journal =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.437709Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:6b88b38d9bb26b2aec80e086aaf823fc19acf9f6ca1fc6e569d688b91cfd6726","observation_id":"bdb10666-1893-4e07-b42f-354ec5f162d0","resolution":{"observed_at":"2026-08-02T04:46:44.437709Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:44.539353Z","title":"On Preprocessing Techniques and Their Impact on Propositional Model Counting , journal =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.539353Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:771a21671b48bf4e540b2b2064c37c2137e6044c4f3ac0ff357516cf12a91d78","observation_id":"1286f57b-cedc-4f5b-9fd3-e52c48c51196","resolution":{"observed_at":"2026-08-02T04:46:44.539353Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.18420/sw2024","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:48:28.517883Z","title":"Evaluating State-of-the-Art","venue":null,"work_id":"d3aa976c-ce63-4068-867c-07fe3d532344","year":2024},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.653836Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:af0ad30f6a129e97097bfae717b8384147a80d25872bd0fe2db1caf8a83fc1a4","observation_id":"57e4a2da-ea0a-4828-acc5-05e01ff6a5c1","resolution":{"observed_at":"2026-08-02T04:48:28.649965Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.29.5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Model Counting in Product Configuration , booktitle =","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"e0b306c9-c76c-4c5d-84bf-8b886c42d554","year":2010},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.768180Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:6486400c3e5167206d4b5dd5da9619fbd77277067ac93a68839252eab4297b4a","observation_id":"a9202375-5de6-4cce-8513-e4c5558c34ff","resolution":{"observed_at":"2026-08-02T04:48:28.508724Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/978-1-61499-672-9-613","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"An Improved","venue":"Frontiers in artificial intelligence and applications","work_id":"941a36cb-cf84-44d6-a50b-50c021c50d4f","year":2016},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:44.944995Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:cdfd4bcbf9dae035ec71e5c3302a373a8d1670a2483530a7288948510e403520","observation_id":"de7bef07-59ef-433b-ab02-59aa076bef92","resolution":{"observed_at":"2026-08-02T04:48:28.370150Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.040655Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.040655Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:bf597ed90be3dbd343d36d9c49f8264c3773181c47b481be2b55ad6b183dfe2e","observation_id":"db322aaf-8e60-458e-9e96-ba5c2808bf00","resolution":{"observed_at":"2026-08-02T04:46:45.040655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.123023Z","title":"Batory , editor =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.123023Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:30738d96a368b7d140848192a18565d75ceb55f8df0aa84cc7857297aea94906","observation_id":"c90f5101-99cd-4030-a643-d0f36e20f84b","resolution":{"observed_at":"2026-08-02T04:46:45.123023Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.208442Z","title":"Meel and Prateek Saxena , title =","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.208442Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:6195a383a4751920e8d822e203b619ee4d6a4fb713388b034c90302f93ee36eb","observation_id":"6c8c245c-4be2-4bd5-8fb8-fafa69142e11","resolution":{"observed_at":"2026-08-02T04:46:45.208442Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.332330Z","title":null,"venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.332330Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:f85f09626c82a4b9177cc63be07bdda82b0d8915880cb5f48e6a75d2afbd26ab","observation_id":"7668acbc-3cf4-4c5d-83c2-0b883554ea45","resolution":{"observed_at":"2026-08-02T04:46:45.332330Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.419942Z","title":"Computing the jth solution of a first-order query , journal =","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.419942Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:642c30bc4e1440e2c10c52fe283680c0307a056e009b10d2aa8c8063260c4825","observation_id":"bbf114c1-d0e1-422c-b70f-47f9775d5ae7","resolution":{"observed_at":"2026-08-02T04:46:45.419942Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.489072Z","title":"2025 , url =","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.489072Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:81f6abe7739dc6efe7b743bdb06f64c35538905c2688fb6843366c8353e53036","observation_id":"b2405e4b-ba84-41ad-be06-d7f39b848219","resolution":{"observed_at":"2026-08-02T04:46:45.489072Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/kr.2020/86","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"On Tractable","venue":null,"work_id":"b389203a-2114-4b8d-bc7f-f9ec73f4f3df","year":2020},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.581234Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:d8a40884ec396718959f653e504cab439d4d6254142fd899b00cfd270f0341f2","observation_id":"34628e08-5a0a-4b74-ab85-6e2fde5bb2f2","resolution":{"observed_at":"2026-08-02T04:48:28.235812Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.icdt.2025.33","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Database Theory in Action: Making Provenance and Probabilistic Database Theory Work in Practice (Invited Talk) , booktitle =","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"9a68a877-887f-4b43-a79c-3ab26a617714","year":2025},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.659449Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:40b279a4e3ef4e46d25d0ab95209fb10fbbf65e87bb1fd5a7bb0c062e11a273e","observation_id":"7b1f3c75-df8b-4ee8-b949-cda7f3c11fd6","resolution":{"observed_at":"2026-08-02T04:48:28.068649Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.763590Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.763590Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:dbc5405016b6277cdc7c0dbf660d5c8e0500031a3ccc1546fea74c9ac209f754","observation_id":"645dfcba-4ad4-4ab6-bf63-5b0701f47769","resolution":{"observed_at":"2026-08-02T04:46:45.763590Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:45.830478Z","title":"Green and Gregory Karvounarakis and Val Tannen , editor =","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.830478Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:e81a052d8f49fb4cbb558ff90235ab6a1cc17f11a7df8e5f5825239cc3cc319d","observation_id":"a9b3effe-f461-4d39-b29a-0ea2445bc142","resolution":{"observed_at":"2026-08-02T04:46:45.830478Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2302.06867","last_updated":"2023-02-14T07:12:36Z","snapshot_observed_at":"2026-08-16T15:55:31.522374Z","submitted_at":"2023-02-14T07:12:36Z","title":"Reasoning on Feature Models: Compilation-Based vs. Direct Approaches","version":1},"cited_work":{"arxiv_id":"2302.06867","doi":"10.48550/arxiv.2302.06867","metadata_source":"pith","pith_arxiv_id":"2302.06867","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Reasoning on Feature Models: Compilation-Based vs. Direct Approaches","venue":"cs.SE","work_id":"bacb3084-c974-4fd3-8eca-a54856a8675e","year":2023},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:45.921885Z"},"links":{"cited_paper":"/paper/2302.06867","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:458f21971b55e7c89ac42133e82d171eec5fe3809816f008d0f96766523a95fa","observation_id":"50bce783-af4f-4219-8b4e-1a332a76cdba","resolution":{"observed_at":"2026-08-02T04:48:27.942510Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.000413Z","title":"Efficient Slicing of Feature Models via Projected d-","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.000413Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ae73ce564a7b0a96fb925b2d003141224fddbd10f03acfba052bee805e51f620","observation_id":"2a3aeea2-9ecd-4e5a-934e-23d6fa17cc33","resolution":{"observed_at":"2026-08-02T04:46:46.000413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.052675Z","title":"Reusing d-","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.052675Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:7eb3c8b005d7679facca878529888068127bb88e95262c4e3b46714846a0947b","observation_id":"357ed205-3cb6-437c-b099-1a210117b12c","resolution":{"observed_at":"2026-08-02T04:46:46.052675Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.126520Z","title":"DeepProbLog: Neural Probabilistic Logic Programming , booktitle =","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.126520Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:060caa6239a05d9a22525f2533262c426360bfac015da822265f21f57e0d2512","observation_id":"7ef9b8ab-9103-431b-9c8b-78eb6f8d7d30","resolution":{"observed_at":"2026-08-02T04:46:46.126520Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/ictai.2010.19","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Constraint-based Vehicle Configuration:","venue":null,"work_id":"ecd9714b-f8d1-45ad-8be4-bf18b6ae072c","year":2010},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.248599Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:148aeafbd2f60102c8fee70e310bd29d8b135b11fa9dfdf5b1c38d61261550ba","observation_id":"6ab5917e-e06a-4d33-a8e3-60ddb8f5fb0c","resolution":{"observed_at":"2026-08-02T04:48:27.816690Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.344209Z","title":"New Advances in Compiling","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.344209Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:e62ab8a073e4bfe71ddc655b74bdc7220b5b48b67b15e125039f5b035c9685b0","observation_id":"0439d3d6-8baf-4a28-8a34-30de34d3b91d","resolution":{"observed_at":"2026-08-02T04:46:46.344209Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/43.644605","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"1997 , url =","venue":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","work_id":"f23e191f-f2f5-4111-a2ff-d04e58d9d8c9","year":1997},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.415987Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:3170fa0720c2e29a8380603c83219ed981230cfc6d1d5d9ddc2419ba0af97573","observation_id":"8abfa4ab-7f4c-45e5-9082-2d4177da9a33","resolution":{"observed_at":"2026-08-02T04:48:27.676914Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.472042Z","title":"Ganai , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.472042Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:198906441be37f79e811809100323616bad7405725b025f28ccca8b1ced037c4","observation_id":"b1d96bc5-4e69-47b2-ac2b-8b7537e5ccca","resolution":{"observed_at":"2026-08-02T04:46:46.472042Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-032-04590-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Enhancing Query Efficiency for","venue":"Lecture notes in computer science","work_id":"df5cfe66-c601-4574-95cf-1599907cd2e1","year":2025},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.547339Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ecfbfc10b7304ff1d3cc4c0a344c0345d4c169ad94632dab653160418fd7dd58","observation_id":"0308dc31-dd7e-4a11-a45a-e34a78583f1b","resolution":{"observed_at":"2026-08-02T04:48:27.521590Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.597460Z","title":"Chandra and Mark N","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.597460Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:701bc676ad01ffc6a61b00bfe60757a9cd5c67cec499988925a35bed21e79fe8","observation_id":"4f6e5637-5667-4b98-81cb-63551ad19340","resolution":{"observed_at":"2026-08-02T04:46:46.597460Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.656394Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.656394Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:4a436ba4813f5772c14b1cbbd0311afac028c8289fda09fb3977581697fa2b61","observation_id":"4dbcadda-a333-42f1-ad49-aea27398387f","resolution":{"observed_at":"2026-08-02T04:46:46.656394Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.725119Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.725119Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:d3e9222366c767bf14f3f968fc14f875a9045203b3835975c8803726765a0a10","observation_id":"8ddac8b4-0cdd-46c0-8cad-7b9da23a4b88","resolution":{"observed_at":"2026-08-02T04:46:46.725119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.799413Z","title":"2005 , url =","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.799413Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:86bdc2a8053d50f0c0d7bb1bcc281321d1b1afa743d7ccd2b563705da3e228ff","observation_id":"6e6f044e-448b-432d-aac4-220b57709839","resolution":{"observed_at":"2026-08-02T04:46:46.799413Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.863719Z","title":"Bounded Model Checking , booktitle =","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.863719Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:653479ea423fb88811d0608f9664cefa8220a48ff3fe80923d8ca2e4403ff593","observation_id":"0989408e-7f0f-4fda-91d6-530021997351","resolution":{"observed_at":"2026-08-02T04:46:46.863719Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.934834Z","title":"2012 , isbn =","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.934834Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:3fc671b84b6b81b3f35c92be0f605731a4252454e844cace0aa0500e074e003b","observation_id":"3d4554ea-e35a-4d2a-abd1-5d192cdd68fc","resolution":{"observed_at":"2026-08-02T04:46:46.934834Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:46.999401Z","title":"Goldberg and Mukul R","venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:46.999401Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:945171d7468c72027f2d325cd3d659740cc7000871093173336a69253d764606","observation_id":"3d4aa792-4d2c-4a9d-b2ae-92e6dc5167c3","resolution":{"observed_at":"2026-08-02T04:46:46.999401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.045522Z","title":"Learning a Propagation Complete Formula , booktitle =","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.045522Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:98201ef2f2e4a254e166bed55ca071e21f58a3a9c76b23ae09bda563c4c58f72","observation_id":"9b7e2d6a-834c-495b-b941-efc6f6ce4d05","resolution":{"observed_at":"2026-08-02T04:46:47.045522Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1604.06715","last_updated":"2016-04-22T15:37:14Z","snapshot_observed_at":"2026-08-14T22:00:30.449379Z","submitted_at":"2016-04-22T15:37:14Z","title":"Parameterized Compilation Lower Bounds for Restricted CNF-formulas","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1604.06715","snapshot_observed_at":"2026-08-02T04:46:47.119644Z","title":"Parameterized Compilation Lower Bounds for Restricted","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.119644Z"},"links":{"cited_paper":"/paper/1604.06715","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:4825210e738c3578373d71def34b7d2259a21d97595169c3275cb5994c2207c8","observation_id":"edcafecf-60e5-46ec-8869-310ea762f2bb","resolution":{"observed_at":"2026-08-02T04:46:47.119644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.204503Z","title":", title =","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.204503Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:fd63d6e226a89432713c6b45e833dc01c2bf1130fce508510ca039fc70446d5c","observation_id":"2b26f67c-3af7-4e58-a9ad-bca43e845d29","resolution":{"observed_at":"2026-08-02T04:46:47.204503Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.318243Z","title":"Shannon , title =","venue":null,"work_id":null,"year":1949},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.318243Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:f8f17c2d626e06569e119871ca9a4a25eaff5d719389c3d81ccdca6d1a957f6b","observation_id":"fb5a56a2-da6c-4a86-8f49-487c213ad6fc","resolution":{"observed_at":"2026-08-02T04:46:47.318243Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.402437Z","title":"Knowledge Compilation for Model Counting: Affine Decision Trees , booktitle =","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.402437Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:1555ac40920b51f3e27c1e2d397968d21a3d26ba8121a26c668f968cfe220ca5","observation_id":"ccc5fe1f-2aad-4690-a87a-ea615d2ba0f0","resolution":{"observed_at":"2026-08-02T04:46:47.402437Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-10428-7","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"On Compiling","venue":"Lecture notes in computer science","work_id":"fb95b2f3-46e4-454c-98b4-a729c622602f","year":2014},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.491335Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:fbe48646a6dc972627e6e36694e49f3188b9c6389edebff87dc8f2daba10bdac","observation_id":"8ac80162-d4e0-4f0b-93fa-3eb5f12e536b","resolution":{"observed_at":"2026-08-02T04:48:27.398013Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/978-1-61499-419-0-675","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"CV-width:","venue":"Frontiers in artificial intelligence and applications","work_id":"cf890fca-f6b8-4e4e-a258-48982195f219","year":2014},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.581764Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:837978aa84fdd6d185fa0c4b08df97ed286df8b5e9ba2b3ac2a118c99668b9d5","observation_id":"62812415-cbae-4fc3-b035-ffad972f1592","resolution":{"observed_at":"2026-08-02T04:48:27.261930Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.704404Z","title":"Cliquewidth and Knowledge Compilation , booktitle =","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.704404Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:27a129054b8e685af3f6ccb7703be2ed1c0eb0a12df8feec58f3897912b2cc5f","observation_id":"b1e70128-6229-40f3-95b5-cb470b81dacc","resolution":{"observed_at":"2026-08-02T04:46:47.704404Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.798014Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.798014Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:fe1c268a2d8bcf9f603fb067da4f295785501bba9de81484c37dcca9577c06be","observation_id":"31f8c4dc-3963-44f9-ab9a-2ec55f811782","resolution":{"observed_at":"2026-08-02T04:46:47.798014Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.883492Z","title":"Plaisted , editor =","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.883492Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:0c422c18a7157cddfd890bf419b4fea3d68b2202e6935db225f30813d05f5434","observation_id":"a736f596-f484-456d-acae-80c026a7335e","resolution":{"observed_at":"2026-08-02T04:46:47.883492Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:47.986971Z","title":"Knowledge Compilation Meets Communication Complexity , booktitle =","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:47.986971Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:6200a42ebc3faf4db95044ddf965a9c29b5410d6a87e0c8e8046fc15b7572725","observation_id":"00a7a429-069e-4b74-a4de-2bab5cb2eced","resolution":{"observed_at":"2026-08-02T04:46:47.986971Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2984632","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"2017 , url =","venue":"ACM Transactions on Database Systems","work_id":"1d8de4a2-b816-4a2f-93bc-95e20cc561b9","year":2017},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.077829Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:f6a6fdb8bf33635abfdf39fee0cf5577ea7e386b397a5cb322a066290d39e673","observation_id":"80daaea9-5adf-4e1f-b529-f0496bb4ab12","resolution":{"observed_at":"2026-08-02T04:48:27.109549Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.133732Z","title":"32nd Annual","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.133732Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ac472294e83703f36d6df4413a69d01cf9293c09b0c37b2fdf52c07a4e9a1fdb","observation_id":"446b66e7-e82e-4ef0-bb42-66c57dfa24d8","resolution":{"observed_at":"2026-08-02T04:46:48.133732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.186774Z","title":"On Compiling","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.186774Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:daae1f98a5d7ef51ac013a20d7a236d2aca55755986f08f0af8d2039f37ebc89","observation_id":"be59461f-6554-4ed6-9731-ae37c457589b","resolution":{"observed_at":"2026-08-02T04:46:48.186774Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.stacs.2019.18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Tractable","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"b03e713b-0e1b-4299-bb19-53c5fb2f7c3a","year":2019},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.271121Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:afa7eec462370e6bbcd1a27c7fdd89ed9abb238c5e8c4e752ea7f38fb0e56007","observation_id":"9a556162-64a5-43d8-aa3d-4731a6dc01a8","resolution":{"observed_at":"2026-08-02T04:48:26.975971Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.341741Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.341741Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:20bd22c927a3bae52d8b6f886c6b5c07052e13db9f07e9c4254ce4fafe6627a8","observation_id":"2ffa9c24-e0a2-4458-9b38-9e95d700a348","resolution":{"observed_at":"2026-08-02T04:46:48.341741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.399378Z","title":"38th Annual","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.399378Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:3e67a21419b93d5eedd4b95b940ca8233d4525d8d124160986d641e38dfa8e39","observation_id":"dfcb53ab-2e13-4a74-b6ec-1ec7af7cba40","resolution":{"observed_at":"2026-08-02T04:46:48.399378Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1411.1995","last_updated":"2015-02-19T13:43:45Z","snapshot_observed_at":"2026-08-17T16:41:51.726792Z","submitted_at":"2014-11-07T17:43:33Z","title":"A Strongly Exponential Separation of DNNFs from CNF Formulas","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1411.1995","snapshot_observed_at":"2026-08-02T04:46:48.454778Z","title":"CoRR , volume =","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.454778Z"},"links":{"cited_paper":"/paper/1411.1995","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:b3dba4dc785ec713d2bc517d51ec5e81d5cae5049bbb3ebff583638ccbe858cf","observation_id":"7fa51d16-1244-4fcd-8e8d-13076e1893ad","resolution":{"observed_at":"2026-08-02T04:46:48.454778Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.01654","last_updated":"2021-07-08T09:58:58Z","snapshot_observed_at":"2026-08-16T18:12:27.865530Z","submitted_at":"2021-07-04T14:45:32Z","title":"Efficient Explanations for Knowledge Compilation Languages","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.01654","snapshot_observed_at":"2026-08-02T04:46:48.516008Z","title":"Cooper and Nicholas Asher and Jo","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.516008Z"},"links":{"cited_paper":"/paper/2107.01654","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:8d7cdfef9702d1f2e71762aeda744ae436698243734d2fbc2c93ce7bfea0cebc","observation_id":"9dd9ffdd-6576-445a-9d91-e70c9e888209","resolution":{"observed_at":"2026-08-02T04:46:48.516008Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3233/faia230154","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Semantic Loss Functions for Neuro-Symbolic Structured Prediction , booktitle =","venue":"Frontiers in artificial intelligence and applications","work_id":"56641d27-4cdf-47d1-90f0-e43d483244ea","year":2023},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.571678Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:72a1a76ec1fd21c0135e4fe3090311d143547d2db7fd05f3209635287ec7f365","observation_id":"8c232649-eeaf-4719-be62-cd8ca168f393","resolution":{"observed_at":"2026-08-02T04:48:26.854983Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.604387Z","title":"Solving PP\\(","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.604387Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:9cb5b5614fc08947c78cec3e9eaa3786f7b291e4aba51d2897edb4f1d6215d30","observation_id":"bc839cef-3ec5-4eb9-a449-0b7a0d7932c8","resolution":{"observed_at":"2026-08-02T04:46:48.604387Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.685124Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.685124Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:cadb929c4965055993967cf9ae60a243aaf7cc191066fc396ea3c83ae346c5c5","observation_id":"aea6d760-4bac-4890-947e-11a735fdf936","resolution":{"observed_at":"2026-08-02T04:46:48.685124Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.741684Z","title":"Valiant , title =","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.741684Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ca417751b3440c731bbf2c6b0e7fc9290acc585766025106deecdb6dde24acbe","observation_id":"ca9ec7b3-a6de-47cc-ab1a-fd3d6bad3210","resolution":{"observed_at":"2026-08-02T04:46:48.741684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:48.820808Z","title":"Knowledge Compilation Languages as Proof Systems , booktitle =","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.820808Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:cd61ec76169416a08ec166dddd79555e4a16d620999b30fe6fcc825bcd95fa98","observation_id":"a6f57a6a-a82b-44a1-bbc9-736af0fddc48","resolution":{"observed_at":"2026-08-02T04:46:48.820808Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v35i7.16776","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Certifying Top-Down Decision-","venue":"Proceedings of the AAAI Conference on Artificial Intelligence","work_id":"2b7f7fc4-53c1-4808-b782-4f97e00c8ac7","year":2021},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.880778Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:a7b629997ef386569c1add7313b10863aa0da7c483de91d42027906554f43dc2","observation_id":"7029ddd1-f028-4698-95b0-5c5889e09e8d","resolution":{"observed_at":"2026-08-02T04:48:26.694601Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.12906","last_updated":"2025-01-22T14:33:44Z","snapshot_observed_at":"2026-08-17T21:37:32.322629Z","submitted_at":"2025-01-22T14:33:44Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","version":1},"cited_work":{"arxiv_id":"2501.12906","doi":"10.48550/arxiv.2501.12906","metadata_source":"pith","pith_arxiv_id":"2501.12906","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Certified Knowledge Compilation with Application to Formally Verified Model Counting","venue":"cs.LO","work_id":"4cc051a0-2443-4d18-9421-a38a23d8371c","year":2025},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.931761Z"},"links":{"cited_paper":"/paper/2501.12906","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ceae1e7aa8bbb28b5281273bef686b33b74e39a820fe8f3e726c3d3406f598d3","observation_id":"cd9f6d36-4d73-48d7-b6cb-955c203c7d00","resolution":{"observed_at":"2026-08-02T04:48:26.530863Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2003.10018","last_updated":"2023-12-18T14:09:18Z","snapshot_observed_at":"2026-08-09T08:07:16.560438Z","submitted_at":"2020-03-22T22:51:23Z","title":"Navigation Systems May Deteriorate Stability in Traffic Networks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2003.10018","snapshot_observed_at":"2026-08-02T04:46:48.985175Z","title":"A Circuit","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:48.985175Z"},"links":{"cited_paper":"/paper/2003.10018","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ff3efabc9dbd508e5be1d18a07530607912525d84e28b7976884741f99d83aa2","observation_id":"625142f4-8125-4ad3-9187-31e4db4aa808","resolution":{"observed_at":"2026-08-02T04:46:48.985175Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.072323Z","title":"1991 , url =","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.072323Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:5347687a2783191d8565dc10cd65dc7a6a8933b21c481c713443fb7656f9a0dd","observation_id":"f3578bde-ed96-472b-8284-d6415ed75469","resolution":{"observed_at":"2026-08-02T04:46:49.072323Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2004.13825","last_updated":"2020-04-22T02:11:13Z","snapshot_observed_at":"2026-08-12T06:17:08.562543Z","submitted_at":"2020-04-22T02:11:13Z","title":"Scalable Attack on Graph Data by Injecting Vicious Nodes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2004.13825","snapshot_observed_at":"2026-08-02T04:46:49.165772Z","title":"2004 International Conference on Computer-Aided Design,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":66,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.165772Z"},"links":{"cited_paper":"/paper/2004.13825","citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:14d5227b4f13eafbc874a36b4f573cdf6bc00cf2465974cd22edf35ec1dc68c8","observation_id":"16554c51-d7f5-40de-930f-09765c0dbd06","resolution":{"observed_at":"2026-08-02T04:46:49.165772Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-30353-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Muise and Sheila A","venue":"Lecture notes in computer science","work_id":"2cb19a0d-8948-4c9e-8653-3305c31f356b","year":2012},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":67,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.246716Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:2020f5cfcc5bd62892e171588ee9d4fab453918e0a5c28200d8d781fedc926f6","observation_id":"1f9d7165-e6cc-448e-84d0-4c2f0a83c797","resolution":{"observed_at":"2026-08-02T04:48:26.368694Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/kr.2023/40","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Knowledge Compilation and More with","venue":null,"work_id":"9a179df3-f9ae-4867-a6e4-afc1be0a0359","year":2023},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":68,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.353289Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:07583d34c894e45448f89de0635b6d098848be9d4771649b8b8eb69821025c3f","observation_id":"f18b4c98-30c0-4dcd-ac55-d29fdd7fdb50","resolution":{"observed_at":"2026-08-02T04:48:26.208038Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.438504Z","title":"A Billion","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":69,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.438504Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:2717cfbe8775554da0019fa08e873e9f6c985667d25d1e3573ea96f29a957eb1","observation_id":"0ad62b96-0a1f-41c4-b255-b99cb446fe53","resolution":{"observed_at":"2026-08-02T04:46:49.438504Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.494721Z","title":"2013 , eprint =","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":70,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.494721Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:a03466294672c1422657251acfbcb2c890c54766ac77d59828ccd88640389262","observation_id":"d2aaf838-c50b-4e22-8d8c-1d861b6403f4","resolution":{"observed_at":"2026-08-02T04:46:49.494721Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.567145Z","title":"1997 , issn =","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":71,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.567145Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:d9d8445d0c7690f3501246420c7e3f396edcd2a4a6d81b898e5517d43c38dd75","observation_id":"2ded9ca5-e7e0-463c-81de-8872ae5da2b4","resolution":{"observed_at":"2026-08-02T04:46:49.567145Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.640663Z","title":"2021 , eprint =","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":72,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.640663Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:fbc702bbcc660f4e8de8413690adbbcb9aec5bbbf4dff791f59e03306e846d46","observation_id":"4b93c212-b96d-41ce-b53e-a753fd162014","resolution":{"observed_at":"2026-08-02T04:46:49.640663Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.ccc.2016.10","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Carmosino and Russell Impagliazzo and Valentine Kabanets and Antonina Kolokolova , editor =","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","work_id":"4dd96dd4-c0ab-4f5d-9b28-50de8f446872","year":2016},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":73,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.696877Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:f8000c1367577352cc0ac11d0b62fb4bb915f611d9e0dcc998b431bb5294922d","observation_id":"6e3dd218-11d7-4457-b20b-9a4f769dbdcc","resolution":{"observed_at":"2026-08-02T04:48:26.073248Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.799239Z","title":"Oliveira , editor =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":74,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.799239Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:1538a8182e6dae2dc4cef259c466f4c40cc68074478d3e4b2e58c5e9236a6707","observation_id":"a627e887-3fc2-426b-af90-04e415c78d3b","resolution":{"observed_at":"2026-08-02T04:46:49.799239Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.871084Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":75,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.871084Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:b268807a75cc80c87bc1cfa8b193a8e1aedf8cbb36fce5db0f5f21739806a249","observation_id":"2fadd6df-1d31-4d2e-b315-1c352ad89fcc","resolution":{"observed_at":"2026-08-02T04:46:49.871084Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.930686Z","title":"Universal search problems , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":76,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.930686Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:7b75533c27386ca373e3d2af13c72cdea33b72073afe9904021224aea9ed3fec","observation_id":"07ae42bb-1997-4046-a9a7-c509bdee2b0d","resolution":{"observed_at":"2026-08-02T04:46:49.930686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:49.985597Z","title":"Scott , journal =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":77,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:49.985597Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:e2c43bc487f01405ee7e82a5d94b158a7a29524d942da88f0f1ac1837f31b493","observation_id":"d1b72a49-3e6d-4c2b-a643-c8af3600a7c8","resolution":{"observed_at":"2026-08-02T04:46:49.985597Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.032741Z","title":"Ashenhurst , journal =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":78,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.032741Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:1a52c8cfebb1e6d9e659732e58237bae7c73e168764b2211f02caa5df10f5bb2","observation_id":"b9cfea01-c1d6-4702-90db-8bd5f97a0db8","resolution":{"observed_at":"2026-08-02T04:46:50.032741Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.081901Z","title":"On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae , booktitle =","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":79,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.081901Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:3ebc5ebe5fdbcc145a9e03f8ffc2e8a492d42c42d5f09deab5532ff206eea59c","observation_id":"072e0482-949d-4b64-8140-33891058d727","resolution":{"observed_at":"2026-08-02T04:46:50.081901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-32770-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Improvements to Satisfiability-Based Boolean Function Bi-Decomposition , booktitle =","venue":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","work_id":"f44f819f-a803-4919-8203-7c0fc2c32b98","year":2011},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":80,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.143101Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:09dc7a2300aae394cd2d5ff0dea7af6d0ce4ec851d4eac796bc6c6a9a782a79d","observation_id":"7e785a4d-4001-479f-9ef0-ebad09d7e656","resolution":{"observed_at":"2026-08-02T04:48:25.966493Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.206702Z","title":"An Improved Decision-","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":81,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.206702Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ca2ac33b6a025d84aab4df6192e603905aefd778735616503923d16a86df789b","observation_id":"975fc824-9654-46ad-8751-2e2acf413b18","resolution":{"observed_at":"2026-08-02T04:46:50.206702Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.267472Z","title":"A Compiler for Deterministic, Decomposable Negation Normal Form , booktitle =","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":82,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.267472Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:fc7611ca7e58fc412407c4b2497def0301c8a3e7ca939f9dab36309d29067a5b","observation_id":"7d663bec-5ec2-42b9-980c-9df977207e66","resolution":{"observed_at":"2026-08-02T04:46:50.267472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.339670Z","title":null,"venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":83,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.339670Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:7e550bd59ece01c079de37f496cee7495de8d0ee616ecf3de8226ec2de76deb2","observation_id":"a558ea0c-50da-437d-a3cd-1d30abac04db","resolution":{"observed_at":"2026-08-02T04:46:50.339670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.419667Z","title":"Brachman and Hector J","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":84,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.419667Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:870533f98012867426074d622c293604b11c90af4303fb979d47a60e20889b82","observation_id":"4d6766e3-1ee1-48d8-9549-e4197b049c1d","resolution":{"observed_at":"2026-08-02T04:46:50.419667Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.482281Z","title":"2021 , url =","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":85,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.482281Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:93b32351d2dba72b59a2fc18885c7333ec25181a88bff5a88a1cabfc8585c7a5","observation_id":"8f14fdd2-8098-451b-80d6-57dd312ff7f9","resolution":{"observed_at":"2026-08-02T04:46:50.482281Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.550815Z","title":"Donini , title =","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":86,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.550815Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:36bbe79ecb9c1abdbe4127fa491269e7e91cb37ca39e738ef116b4215bd5020e","observation_id":"b2ad3521-a71b-403f-bff2-5f80c6c5663d","resolution":{"observed_at":"2026-08-02T04:46:50.550815Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.628979Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":87,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.628979Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:7bab648c010c9eda03245f13dc4256912c68a5a8d8f4cf31d1c23128ff7082f3","observation_id":"231ef248-b112-4440-bc5b-af2dbb8f4167","resolution":{"observed_at":"2026-08-02T04:46:50.628979Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.699265Z","title":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005 , pages =","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":88,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.699265Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:cb92fa5dd46fb76fac13f3905768fa0288719a37dc843b972983cc25042aa398","observation_id":"d942b6dd-96ad-458b-a6a5-740bcd33b0e7","resolution":{"observed_at":"2026-08-02T04:46:50.699265Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.704558Z","title":"2023 , url =","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":89,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.704558Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:e5255b74c68fb0d4a7fb65a0457cd48e9d1f003633efc9c446b476c5f4f92651","observation_id":"b33edc8b-71cc-4228-8458-7306cd27d493","resolution":{"observed_at":"2026-08-02T04:46:50.704558Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/h4p9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Meel , editor =","venue":"EPiC series in computing","work_id":"fc41c7f5-ea9a-4191-9a3f-19078f005065","year":2018},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":90,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.805768Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:bd23449f9eca9b6cda9c91e0f773f6f57066a352e32114e9988eb5bee143be34","observation_id":"46bd26a4-6e87-4005-9310-4bcf0a782bb4","resolution":{"observed_at":"2026-08-02T04:48:25.846946Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:50.971784Z","title":"Disjoint Partial Enumeration without Blocking Clauses , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":91,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:50.971784Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:b073d4bb08ebee1138fb39e4d634c104f0afbaf146817a70cf166647f8df92f3","observation_id":"b26557b4-b007-4049-be24-55f7aec42cb7","resolution":{"observed_at":"2026-08-02T04:46:50.971784Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.24963/kr.2024/48","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Leveraging Decision-","venue":null,"work_id":"c21abfbc-9ff2-433a-9a01-8b586419aa6b","year":2024},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":92,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:51.194584Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:7cd059b99d165c2f13c7275bba6f3c4ed9018cfbd7bea6de3f652b2d10ae0436","observation_id":"dc667e26-82c3-4d45-969f-c00a596ae763","resolution":{"observed_at":"2026-08-02T04:48:25.719275Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:51.363602Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":93,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:51.363602Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:f5ba3200be400fd224b225e9ccddec0a96a1f9d5caedef4213553b224ed2c90c","observation_id":"329d2ef3-bcfe-497f-ac5c-e4a014a9ab5c","resolution":{"observed_at":"2026-08-02T04:46:51.363602Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:51.540305Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":94,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:51.540305Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:11b3164cb33a8c232afb0e95e903fecc88b65161ffef88cbd6af2bca58bcb7f4","observation_id":"d3bd6733-3491-46dc-b821-1b82ec69292b","resolution":{"observed_at":"2026-08-02T04:46:51.540305Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:51.673597Z","title":"Clausal Equivalence Sweeping , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":95,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:51.673597Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:027609a9eee93041d5dde2407a49c86c48461a0bca2ba44d1efc2a748351a304","observation_id":"b2173d0a-9fd5-49a0-83a1-6a21e63879b0","resolution":{"observed_at":"2026-08-02T04:46:51.673597Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:51.833401Z","title":"Clausal Congruence Closure , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":96,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:51.833401Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:25af23b38b7134c505877234899de025f805070403dd5d14dff7123d312c5f87","observation_id":"81c42a36-2a6a-4ee0-a9e0-b2357f59ed82","resolution":{"observed_at":"2026-08-02T04:46:51.833401Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:52.055928Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":97,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:52.055928Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:ecaae6ca85f01eee9026ea6c8bd2169555e569810c5c4947ee201f4ec1e1f44d","observation_id":"7c6fc6a7-bd5f-4c47-9749-95ce2351d2a3","resolution":{"observed_at":"2026-08-02T04:46:52.055928Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:52.215093Z","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":98,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:52.215093Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:7230e031ea85f70450061b5de5f8a260c2106a1a547e7a291ecc8a5b666c69d2","observation_id":"4c8523bc-93a6-47bb-9e0e-f47509fdc71c","resolution":{"observed_at":"2026-08-02T04:46:52.215093Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T04:46:52.387749Z","title":"An Embarrassingly Parallel Model Counter , booktitle =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF","version":1},"reference_index":99,"source":"arxiv_source","source_observed_at":"2026-08-02T04:46:52.387749Z"},"links":{"citing_paper":"/paper/2607.13642"},"observation_digest":"sha256:63b2c4f0298d124a7e009bd0768f9df2c29432d3d6fce85fe21f4e0276039a18","observation_id":"ec2958ae-0e80-48ee-a735-021d1eec75d2","resolution":{"observed_at":"2026-08-02T04:46:52.387749Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.13642","last_updated":"2026-07-15T09:34:26Z","latest_version":1,"primary_category":"cs.DC","snapshot_observed_at":"2026-08-17T16:42:13.511220Z","submitted_at":"2026-07-15T09:34:26Z","title":"A Distributed Framework for Compiling and Reasoning with d-DNNF"},"reference_resolution":{"displayed":99,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":1,"unresolved":75,"verified_exact":21,"verified_fuzzy":0},"total_outbound_references":99},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 99 of 99 outbound references and 0 inbound Pith citation observations for arXiv:2607.13642."}