A Distributed Framework for Compiling and Reasoning with d-DNNF | Paper Citation Record

Observation 2b2567d7-8644-401f-bbba-dba5ce61a0ae · outbound

This paper cites Cook , editor =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Cook , editor =

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:43.981988Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67143374-8d52-4bbd-9f19-66a0a233e9bc · outbound

This paper cites The Thirteenth International Conference on Learning Representations,.

A Distributed Framework for Compiling and Reasoning with d-DNNF The Thirteenth International Conference on Learning Representations,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:44.056166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6ad9ff9-5a58-490d-b439-f6118f37d5f1 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:44.159477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3a45f9b-a1fe-45dd-89ed-3dc482f93972 · outbound

This paper cites Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models , booktitle =

Reference 4

Resolution: verified exact; doi, observed 2026-08-02T04:48:28.818334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 60d6295c-604f-499b-8843-68675ce0cc4d · outbound

This paper cites CaDiCaL 2.0 , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF CaDiCaL 2.0 , booktitle =

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:44.291472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3405cc1c-bdac-4434-95f4-5e55972bdab2 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:44.375411Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdb10666-1893-4e07-b42f-354ec5f162d0 · outbound

This paper cites Definability for model counting , journal =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Definability for model counting , journal =

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:44.437709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1286f57b-cedc-4f5b-9fd3-e52c48c51196 · outbound

This paper cites On Preprocessing Techniques and Their Impact on Propositional Model Counting , journal =.

A Distributed Framework for Compiling and Reasoning with d-DNNF On Preprocessing Techniques and Their Impact on Propositional Model Counting , journal =

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:44.539353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57e4a2da-ea0a-4828-acc5-05e01ff6a5c1 · outbound

This paper cites Evaluating State-of-the-Art.

A Distributed Framework for Compiling and Reasoning with d-DNNF Evaluating State-of-the-Art

Reference 9

Resolution: verified exact; doi, observed 2026-08-02T04:48:28.649965Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a9202375-5de6-4cce-8513-e4c5558c34ff · outbound

This paper cites Model Counting in Product Configuration , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Model Counting in Product Configuration , booktitle =

Reference 10

Resolution: verified exact; doi, observed 2026-08-02T04:48:28.508724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation de7bef07-59ef-433b-ab02-59aa076bef92 · outbound

This paper cites An Improved.

A Distributed Framework for Compiling and Reasoning with d-DNNF An Improved

Reference 11

Resolution: verified exact; doi, observed 2026-08-02T04:48:28.370150Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation db322aaf-8e60-458e-9e96-ba5c2808bf00 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.040655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c90f5101-99cd-4030-a643-d0f36e20f84b · outbound

This paper cites Batory , editor =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Batory , editor =

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.123023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c8c245c-4be2-4bd5-8fb8-fafa69142e11 · outbound

This paper cites Meel and Prateek Saxena , title =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Meel and Prateek Saxena , title =

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.208442Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7668acbc-3cf4-4c5d-83c2-0b883554ea45 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.332330Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bbf114c1-d0e1-422c-b70f-47f9775d5ae7 · outbound

This paper cites Computing the jth solution of a first-order query , journal =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Computing the jth solution of a first-order query , journal =

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.419942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2405e4b-ba84-41ad-be06-d7f39b848219 · outbound

This paper cites 2025 , url =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2025 , url =

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.489072Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34628e08-5a0a-4b74-ab85-6e2fde5bb2f2 · outbound

This paper cites On Tractable.

A Distributed Framework for Compiling and Reasoning with d-DNNF On Tractable

Reference 18

Resolution: verified exact; doi, observed 2026-08-02T04:48:28.235812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 7b1f3c75-df8b-4ee8-b949-cda7f3c11fd6 · outbound

This paper cites Database Theory in Action: Making Provenance and Probabilistic Database Theory Work in Practice (Invited Talk) , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Database Theory in Action: Making Provenance and Probabilistic Database Theory Work in Practice (Invited Talk) , booktitle =

Reference 19

Resolution: verified exact; doi, observed 2026-08-02T04:48:28.068649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 645dfcba-4ad4-4ab6-bf63-5b0701f47769 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.763590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9b3effe-f461-4d39-b29a-0ea2445bc142 · outbound

This paper cites Green and Gregory Karvounarakis and Val Tannen , editor =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Green and Gregory Karvounarakis and Val Tannen , editor =

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:45.830478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50bce783-af4f-4219-8b4e-1a332a76cdba · outbound

This paper cites Reasoning on Feature Models: Compilation-Based vs. Direct Approaches.

A Distributed Framework for Compiling and Reasoning with d-DNNF Reasoning on Feature Models: Compilation-Based vs. Direct Approaches

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-02T04:48:27.942510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2a3aeea2-9ecd-4e5a-934e-23d6fa17cc33 · outbound

This paper cites Efficient Slicing of Feature Models via Projected d-.

A Distributed Framework for Compiling and Reasoning with d-DNNF Efficient Slicing of Feature Models via Projected d-

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.000413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 357ed205-3cb6-437c-b099-1a210117b12c · outbound

This paper cites Reusing d-.

A Distributed Framework for Compiling and Reasoning with d-DNNF Reusing d-

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.052675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ef9b8ab-9103-431b-9c8b-78eb6f8d7d30 · outbound

This paper cites DeepProbLog: Neural Probabilistic Logic Programming , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF DeepProbLog: Neural Probabilistic Logic Programming , booktitle =

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.126520Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ab5917e-e06a-4d33-a8e3-60ddb8f5fb0c · outbound

This paper cites Constraint-based Vehicle Configuration:.

A Distributed Framework for Compiling and Reasoning with d-DNNF Constraint-based Vehicle Configuration:

Reference 26

Resolution: verified exact; doi, observed 2026-08-02T04:48:27.816690Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0439d3d6-8baf-4a28-8a34-30de34d3b91d · outbound

This paper cites New Advances in Compiling.

A Distributed Framework for Compiling and Reasoning with d-DNNF New Advances in Compiling

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.344209Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8abfa4ab-7f4c-45e5-9082-2d4177da9a33 · outbound

This paper cites 1997 , url =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 1997 , url =

Reference 28

Resolution: verified exact; doi, observed 2026-08-02T04:48:27.676914Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b1d96bc5-4e69-47b2-ac2b-8b7537e5ccca · outbound

This paper cites Ganai , title =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Ganai , title =

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.472042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0308dc31-dd7e-4a11-a45a-e34a78583f1b · outbound

This paper cites Enhancing Query Efficiency for.

A Distributed Framework for Compiling and Reasoning with d-DNNF Enhancing Query Efficiency for

Reference 30

Resolution: verified exact; doi, observed 2026-08-02T04:48:27.521590Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4f6e5637-5667-4b98-81cb-63551ad19340 · outbound

This paper cites Chandra and Mark N.

A Distributed Framework for Compiling and Reasoning with d-DNNF Chandra and Mark N

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.597460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4dbcadda-a333-42f1-ad49-aea27398387f · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.656394Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ddac8b4-0cdd-46c0-8cad-7b9da23a4b88 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.725119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e6f044e-448b-432d-aac4-220b57709839 · outbound

This paper cites 2005 , url =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2005 , url =

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.799413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0989408e-7f0f-4fda-91d6-530021997351 · outbound

This paper cites Bounded Model Checking , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Bounded Model Checking , booktitle =

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.863719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d4554ea-e35a-4d2a-abd1-5d192cdd68fc · outbound

This paper cites 2012 , isbn =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2012 , isbn =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.934834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d4aa792-4d2c-4a9d-b2ae-92e6dc5167c3 · outbound

This paper cites Goldberg and Mukul R.

A Distributed Framework for Compiling and Reasoning with d-DNNF Goldberg and Mukul R

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:46.999401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b7e2d6a-834c-495b-b941-efc6f6ce4d05 · outbound

This paper cites Learning a Propagation Complete Formula , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Learning a Propagation Complete Formula , booktitle =

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.045522Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edcafecf-60e5-46ec-8869-310ea762f2bb · outbound

This paper cites Parameterized Compilation Lower Bounds for Restricted CNF-formulas.

A Distributed Framework for Compiling and Reasoning with d-DNNF Parameterized Compilation Lower Bounds for Restricted CNF-formulas

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.119644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b26f67c-3af7-4e58-a9ad-bca43e845d29 · outbound

This paper cites , title =.

A Distributed Framework for Compiling and Reasoning with d-DNNF , title =

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.204503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb5a56a2-da6c-4a86-8f49-487c213ad6fc · outbound

This paper cites Shannon , title =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Shannon , title =

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.318243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccc5fe1f-2aad-4690-a87a-ea615d2ba0f0 · outbound

This paper cites Knowledge Compilation for Model Counting: Affine Decision Trees , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Knowledge Compilation for Model Counting: Affine Decision Trees , booktitle =

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.402437Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ac80162-d4e0-4f0b-93fa-3eb5f12e536b · outbound

This paper cites On Compiling.

A Distributed Framework for Compiling and Reasoning with d-DNNF On Compiling

Reference 43

Resolution: verified exact; doi, observed 2026-08-02T04:48:27.398013Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 62812415-cbae-4fc3-b035-ffad972f1592 · outbound

This paper cites CV-width:.

A Distributed Framework for Compiling and Reasoning with d-DNNF CV-width:

Reference 44

Resolution: verified exact; doi, observed 2026-08-02T04:48:27.261930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b1e70128-6229-40f3-95b5-cb470b81dacc · outbound

This paper cites Cliquewidth and Knowledge Compilation , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Cliquewidth and Knowledge Compilation , booktitle =

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.704404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31f8c4dc-3963-44f9-ab9a-2ec55f811782 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.798014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a736f596-f484-456d-acae-80c026a7335e · outbound

This paper cites Plaisted , editor =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Plaisted , editor =

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.883492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00a7a429-069e-4b74-a4de-2bab5cb2eced · outbound

This paper cites Knowledge Compilation Meets Communication Complexity , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Knowledge Compilation Meets Communication Complexity , booktitle =

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:47.986971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80daaea9-5adf-4e1f-b529-f0496bb4ab12 · outbound

This paper cites 2017 , url =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2017 , url =

Reference 49

Resolution: verified exact; doi, observed 2026-08-02T04:48:27.109549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 446b66e7-e82e-4ef0-bb42-66c57dfa24d8 · outbound

This paper cites 32nd Annual.

A Distributed Framework for Compiling and Reasoning with d-DNNF 32nd Annual

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.133732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be59461f-6554-4ed6-9731-ae37c457589b · outbound

This paper cites On Compiling.

A Distributed Framework for Compiling and Reasoning with d-DNNF On Compiling

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.186774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a556162-64a5-43d8-aa3d-4731a6dc01a8 · outbound

This paper cites Tractable.

A Distributed Framework for Compiling and Reasoning with d-DNNF Tractable

Reference 52

Resolution: verified exact; doi, observed 2026-08-02T04:48:26.975971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2ffa9c24-e0a2-4458-9b38-9e95d700a348 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.341741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfcb53ab-2e13-4a74-b6ec-1ec7af7cba40 · outbound

This paper cites 38th Annual.

A Distributed Framework for Compiling and Reasoning with d-DNNF 38th Annual

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.399378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fa51d16-1244-4fcd-8e8d-13076e1893ad · outbound

This paper cites A Strongly Exponential Separation of DNNFs from CNF Formulas.

A Distributed Framework for Compiling and Reasoning with d-DNNF A Strongly Exponential Separation of DNNFs from CNF Formulas

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.454778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9dd9ffdd-6576-445a-9d91-e70c9e888209 · outbound

This paper cites Efficient Explanations for Knowledge Compilation Languages.

A Distributed Framework for Compiling and Reasoning with d-DNNF Efficient Explanations for Knowledge Compilation Languages

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.516008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8c232649-eeaf-4719-be62-cd8ca168f393 · outbound

This paper cites Semantic Loss Functions for Neuro-Symbolic Structured Prediction , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Semantic Loss Functions for Neuro-Symbolic Structured Prediction , booktitle =

Reference 57

Resolution: verified exact; doi, observed 2026-08-02T04:48:26.854983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation bc839cef-3ec5-4eb9-a449-0b7a0d7932c8 · outbound

This paper cites Solving PP\(.

A Distributed Framework for Compiling and Reasoning with d-DNNF Solving PP\(

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.604387Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aea6d760-4bac-4890-947e-11a735fdf936 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.685124Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca9ec7b3-a6de-47cc-ab1a-fd3d6bad3210 · outbound

This paper cites Valiant , title =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Valiant , title =

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.741684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6f57a6a-a82b-44a1-bbc9-736af0fddc48 · outbound

This paper cites Knowledge Compilation Languages as Proof Systems , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Knowledge Compilation Languages as Proof Systems , booktitle =

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.820808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7029ddd1-f028-4698-95b0-5c5889e09e8d · outbound

This paper cites Certifying Top-Down Decision-.

A Distributed Framework for Compiling and Reasoning with d-DNNF Certifying Top-Down Decision-

Reference 62

Resolution: verified exact; doi, observed 2026-08-02T04:48:26.694601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation cd9f6d36-4d73-48d7-b6cb-955c203c7d00 · outbound

This paper cites Certified Knowledge Compilation with Application to Formally Verified Model Counting.

A Distributed Framework for Compiling and Reasoning with d-DNNF Certified Knowledge Compilation with Application to Formally Verified Model Counting

Reference 63

Resolution: metadata mismatch; local_arxiv, observed 2026-08-02T04:48:26.530863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 625142f4-8125-4ad3-9187-31e4db4aa808 · outbound

This paper cites Navigation Systems May Deteriorate Stability in Traffic Networks.

A Distributed Framework for Compiling and Reasoning with d-DNNF Navigation Systems May Deteriorate Stability in Traffic Networks

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:48.985175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3578bde-ed96-472b-8284-d6415ed75469 · outbound

This paper cites 1991 , url =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 1991 , url =

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.072323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16554c51-d7f5-40de-930f-09765c0dbd06 · outbound

This paper cites Scalable Attack on Graph Data by Injecting Vicious Nodes.

A Distributed Framework for Compiling and Reasoning with d-DNNF Scalable Attack on Graph Data by Injecting Vicious Nodes

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.165772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f9d7165-e6cc-448e-84d0-4c2f0a83c797 · outbound

This paper cites Muise and Sheila A.

A Distributed Framework for Compiling and Reasoning with d-DNNF Muise and Sheila A

Reference 67

Resolution: verified exact; doi, observed 2026-08-02T04:48:26.368694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f18b4c98-30c0-4dcd-ac55-d29fdd7fdb50 · outbound

This paper cites Knowledge Compilation and More with.

A Distributed Framework for Compiling and Reasoning with d-DNNF Knowledge Compilation and More with

Reference 68

Resolution: verified exact; doi, observed 2026-08-02T04:48:26.208038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0ad62b96-0a1f-41c4-b255-b99cb446fe53 · outbound

This paper cites A Billion.

A Distributed Framework for Compiling and Reasoning with d-DNNF A Billion

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.438504Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2aaf838-c50b-4e22-8d8c-1d861b6403f4 · outbound

This paper cites 2013 , eprint =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2013 , eprint =

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.494721Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ded9ca5-e7e0-463c-81de-8872ae5da2b4 · outbound

This paper cites 1997 , issn =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 1997 , issn =

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.567145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b93c212-b96d-41ce-b53e-a753fd162014 · outbound

This paper cites 2021 , eprint =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2021 , eprint =

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.640663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e3dd218-11d7-4457-b20b-9a4f769dbdcc · outbound

This paper cites Carmosino and Russell Impagliazzo and Valentine Kabanets and Antonina Kolokolova , editor =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Carmosino and Russell Impagliazzo and Valentine Kabanets and Antonina Kolokolova , editor =

Reference 73

Resolution: verified exact; doi, observed 2026-08-02T04:48:26.073248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a627e887-3fc2-426b-af90-04e415c78d3b · outbound

This paper cites Oliveira , editor =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Oliveira , editor =

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.799239Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fadd6df-1d31-4d2e-b315-1c352ad89fcc · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.871084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07ae42bb-1997-4046-a9a7-c509bdee2b0d · outbound

This paper cites Universal search problems , year =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Universal search problems , year =

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.930686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1b72a49-3e6d-4c2b-a643-c8af3600a7c8 · outbound

This paper cites Scott , journal =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Scott , journal =

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:49.985597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b9cfea01-c1d6-4702-90db-8bd5f97a0db8 · outbound

This paper cites Ashenhurst , journal =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Ashenhurst , journal =

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.032741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 072e0482-949d-4b64-8140-33891058d727 · outbound

This paper cites On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae , booktitle =

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.081901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e785a4d-4001-479f-9ef0-ebad09d7e656 · outbound

This paper cites Improvements to Satisfiability-Based Boolean Function Bi-Decomposition , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Improvements to Satisfiability-Based Boolean Function Bi-Decomposition , booktitle =

Reference 80

Resolution: verified exact; doi, observed 2026-08-02T04:48:25.966493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 975fc824-9654-46ad-8751-2e2acf413b18 · outbound

This paper cites An Improved Decision-.

A Distributed Framework for Compiling and Reasoning with d-DNNF An Improved Decision-

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.206702Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d663bec-5ec2-42b9-980c-9df977207e66 · outbound

This paper cites A Compiler for Deterministic, Decomposable Negation Normal Form , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF A Compiler for Deterministic, Decomposable Negation Normal Form , booktitle =

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.267472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a558ea0c-50da-437d-a3cd-1d30abac04db · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.339670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d6766e3-1ee1-48d8-9549-e4197b049c1d · outbound

This paper cites Brachman and Hector J.

A Distributed Framework for Compiling and Reasoning with d-DNNF Brachman and Hector J

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.419667Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f14fdd2-8098-451b-80d6-57dd312ff7f9 · outbound

This paper cites 2021 , url =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2021 , url =

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.482281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2ad3521-a71b-403f-bff2-5f80c6c5663d · outbound

This paper cites Donini , title =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Donini , title =

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.550815Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 231ef248-b112-4440-bc5b-af2dbb8f4167 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.628979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d942b6dd-96ad-458b-a6a5-740bcd33b0e7 · outbound

This paper cites IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005 , pages =.

A Distributed Framework for Compiling and Reasoning with d-DNNF IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005 , pages =

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.699265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b33edc8b-71cc-4228-8458-7306cd27d493 · outbound

This paper cites 2023 , url =.

A Distributed Framework for Compiling and Reasoning with d-DNNF 2023 , url =

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.704558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46bd26a4-6e87-4005-9310-4bcf0a782bb4 · outbound

This paper cites Meel , editor =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Meel , editor =

Reference 90

Resolution: malformed identifier; doi_truncated, observed 2026-08-02T04:48:25.846946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b26557b4-b007-4049-be24-55f7aec42cb7 · outbound

This paper cites Disjoint Partial Enumeration without Blocking Clauses , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Disjoint Partial Enumeration without Blocking Clauses , booktitle =

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:50.971784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc667e26-82c3-4d45-969f-c00a596ae763 · outbound

This paper cites Leveraging Decision-.

A Distributed Framework for Compiling and Reasoning with d-DNNF Leveraging Decision-

Reference 92

Resolution: verified exact; doi, observed 2026-08-02T04:48:25.719275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 329d2ef3-bcfe-497f-ac5c-e4a014a9ab5c · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 93

Resolution: parse uncertain; no resolver link, observed 2026-08-02T04:46:51.363602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3bd6733-3491-46dc-b821-1b82ec69292b · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:51.540305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2173d0a-9fd5-49a0-83a1-6a21e63879b0 · outbound

This paper cites Clausal Equivalence Sweeping , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Clausal Equivalence Sweeping , booktitle =

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:51.673597Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81c42a36-2a6a-4ee0-a9e0-b2357f59ed82 · outbound

This paper cites Clausal Congruence Closure , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF Clausal Congruence Closure , booktitle =

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:51.833401Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c6fc6a7-bd5f-4c47-9749-95ce2351d2a3 · outbound

This paper cites an unresolved cited work.

A Distributed Framework for Compiling and Reasoning with d-DNNF Unresolved cited work

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:52.055928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c8523bc-93a6-47bb-9e0e-f47509fdc71c · outbound

This paper cites Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence,.

A Distributed Framework for Compiling and Reasoning with d-DNNF Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence,

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:52.215093Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec2958ae-0e80-48ee-a735-021d1eec75d2 · outbound

This paper cites An Embarrassingly Parallel Model Counter , booktitle =.

A Distributed Framework for Compiling and Reasoning with d-DNNF An Embarrassingly Parallel Model Counter , booktitle =

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-02T04:46:52.387749Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers