Paper Citation Record · LEDGER

Probabilistic and Causal Satisfiability: Constraining the Model

As of 17 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2504.19944.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2504.19944 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T05:50:01.107313Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

40 of 40 outbound references displayed

verified exact0
verified fuzzy32
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 8d59d261-060d-4dc3-a07c-6e83c12b6c8e · outbound

This paper cites The art gallery problem is R -complete.

Probabilistic and Causal Satisfiability: Constraining the Model The art gallery problem is R -complete

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.856589Z

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 1c48577b-61ed-46fb-885d-78991ba5c0b8 · outbound

This paper cites NEXP -completeness and universal hardness results for justification logic.

Probabilistic and Causal Satisfiability: Constraining the Model NEXP -completeness and universal hardness results for justification logic

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.842889Z

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 b59a1eb9-9d33-4b09-a169-abe21cca3dd0 · outbound

This paper cites Computational complexity: a modern approach.

Probabilistic and Causal Satisfiability: Constraining the Model Computational complexity: a modern approach

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T05:50:00.906039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 107528da-f4fd-4907-b4ec-775476488902 · outbound

This paper cites Correa, Duligur Ibeling, and Thomas Icard.

Probabilistic and Causal Satisfiability: Constraining the Model Correa, Duligur Ibeling, and Thomas Icard

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.821851Z

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 33f5f653-2eda-444f-8036-2f5ed4ff32e4 · outbound

This paper cites a ser, Julian D \.

Probabilistic and Causal Satisfiability: Constraining the Model a ser, Julian D \

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.806090Z

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 2a23cbf6-4a0e-4092-af00-598c10432565 · outbound

This paper cites Some algebraic and geometric computations in PSPACE.

Probabilistic and Causal Satisfiability: Constraining the Model Some algebraic and geometric computations in PSPACE

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.791674Z

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 30043fbf-0b78-44d3-a558-27abacde8734 · outbound

This paper cites The computational complexity of probabilistic inference using B ayesian belief networks.

Probabilistic and Causal Satisfiability: Constraining the Model The computational complexity of probabilistic inference using B ayesian belief networks

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.772717Z

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 e4e91c5f-2e5f-4759-974c-568573cbbdcf · outbound

This paper cites Approximating probabilistic inference in Bayesian belief networks is NP -hard.

Probabilistic and Causal Satisfiability: Constraining the Model Approximating probabilistic inference in Bayesian belief networks is NP -hard

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.756715Z

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 fa246af5-d926-4134-b18a-1848a4d54009 · outbound

This paper cites From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy.

Probabilistic and Causal Satisfiability: Constraining the Model From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T05:50:00.944231Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2d7e4f4-6cd3-4d0c-a855-53a262da1ab7 · outbound

This paper cites Structure learning in graphical modeling.

Probabilistic and Causal Satisfiability: Constraining the Model Structure learning in graphical modeling

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.742293Z

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 a8525f52-2c90-48f5-9ea3-bda762894034 · outbound

This paper cites Smoothing the gap between NP and ER.

Probabilistic and Causal Satisfiability: Constraining the Model Smoothing the gap between NP and ER

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.727848Z

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 6ab38d87-c45c-4673-9be8-2fb2078fa6e0 · outbound

This paper cites A logic for reasoning about probabilities.

Probabilistic and Causal Satisfiability: Constraining the Model A logic for reasoning about probabilities

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.710268Z

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 045cf8dc-d3a1-4f25-826e-7e23ae490556 · outbound

This paper cites Design of experiments.

Probabilistic and Causal Satisfiability: Constraining the Model Design of experiments

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.690858Z

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 977ae68b-91d1-4515-b328-626652195e56 · outbound

This paper cites Review of causal discovery methods based on graphical models.

Probabilistic and Causal Satisfiability: Constraining the Model Review of causal discovery methods based on graphical models

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T05:50:00.979290Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58ebc984-8194-42c4-a6cf-9894bc64fb0e · outbound

This paper cites Solving systems of polynomial inequalities in subexponential time.

Probabilistic and Causal Satisfiability: Constraining the Model Solving systems of polynomial inequalities in subexponential time

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.664549Z

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 c200bb10-5ca1-4ecb-9348-c67f6b4f95d7 · outbound

This paper cites Probabilistic reasoning across the causal hierarchy.

Probabilistic and Causal Satisfiability: Constraining the Model Probabilistic reasoning across the causal hierarchy

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.644193Z

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 17983e6f-2e44-40e1-88bd-74bf12323b4d · outbound

This paper cites Probing the quantitative–qualitative divide in probabilistic reasoning.

Probabilistic and Causal Satisfiability: Constraining the Model Probing the quantitative–qualitative divide in probabilistic reasoning

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.629733Z

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 ce091dbb-465d-4ddf-9687-bb05ce8c89c3 · outbound

This paper cites On probabilistic and causal reasoning with summation operators.

Probabilistic and Causal Satisfiability: Constraining the Model On probabilistic and causal reasoning with summation operators

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.608182Z

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 8b39cd05-a508-43d3-9f06-5da7442492eb · outbound

This paper cites Probabilistic graphical models: principles and techniques.

Probabilistic and Causal Satisfiability: Constraining the Model Probabilistic graphical models: principles and techniques

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T05:50:01.001216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38f93c5b-e01c-4d3f-b814-53af7d5082e4 · outbound

This paper cites an unresolved cited work.

Probabilistic and Causal Satisfiability: Constraining the Model Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-16T05:50:01.573232Z

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 60b5bda9-c415-4ab4-97ab-cd12e842fb93 · outbound

This paper cites Improving causal discovery by optimal Bayesian network learning.

Probabilistic and Causal Satisfiability: Constraining the Model Improving causal discovery by optimal Bayesian network learning

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.557983Z

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 3396913a-c124-4f92-822f-37c169eb3876 · outbound

This paper cites Methods for causal inference from gene perturbation experiments and validation.

Probabilistic and Causal Satisfiability: Constraining the Model Methods for causal inference from gene perturbation experiments and validation

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.529702Z

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 e14bbf95-0af0-4fac-b1ce-fcf5a33c1dea · outbound

This paper cites Is causal reasoning harder than probabilistic reasoning? The Review of Symbolic Logic, pages 1--26, 2022.

Probabilistic and Causal Satisfiability: Constraining the Model Is causal reasoning harder than probabilistic reasoning? The Review of Symbolic Logic, pages 1--26, 2022

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.506380Z

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 ae242d26-1d7d-47b4-b010-dfbbbe79fbd1 · outbound

This paper cites Reliable causal discovery with improved exact search and weaker assumptions.

Probabilistic and Causal Satisfiability: Constraining the Model Reliable causal discovery with improved exact search and weaker assumptions

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.486146Z

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 98a4c4bb-01ee-4771-b01a-71815d4526f0 · outbound

This paper cites Probabilistic logic.

Probabilistic and Causal Satisfiability: Constraining the Model Probabilistic logic

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.464439Z

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 90d00f62-9bd4-4a5e-9f41-7ce554cb6bc8 · outbound

This paper cites Complexity results and approximation strategies for MAP explanations.

Probabilistic and Causal Satisfiability: Constraining the Model Complexity results and approximation strategies for MAP explanations

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.434902Z

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 8efbc6a1-cbda-4378-9384-3d4c139f6589 · outbound

This paper cites Probabilistic reasoning in intelligent systems: networks of plausible inference.

Probabilistic and Causal Satisfiability: Constraining the Model Probabilistic reasoning in intelligent systems: networks of plausible inference

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-16T05:50:01.042262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79ab41af-317f-4cf9-82e2-97e79cf87634 · outbound

This paper cites Causal diagrams for empirical research.

Probabilistic and Causal Satisfiability: Constraining the Model Causal diagrams for empirical research

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T05:50:01.046868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5232a4fd-2a16-42b7-ba5e-307b116681f1 · outbound

This paper cites Causality.

Probabilistic and Causal Satisfiability: Constraining the Model Causality

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.385665Z

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 ff90ba22-e1d3-4afd-8211-fe2e88d0798d · outbound

This paper cites The book of why: the new science of cause and effect.

Probabilistic and Causal Satisfiability: Constraining the Model The book of why: the new science of cause and effect

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T05:50:01.056158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c08c1a2-2f8c-47e2-ad9d-45600dbcdffb · outbound

This paper cites Beware of the simulated dag! causal discovery benchmarks may be easy to game.

Probabilistic and Causal Satisfiability: Constraining the Model Beware of the simulated dag! causal discovery benchmarks may be easy to game

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.354352Z

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 7ccf2d7b-8ebc-4907-8096-66b25b82e770 · outbound

This paper cites A scale-invariant sorting criterion to find a causal order in additive noise models.

Probabilistic and Causal Satisfiability: Constraining the Model A scale-invariant sorting criterion to find a causal order in additive noise models

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.333972Z

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 f0c41186-0056-4353-9f2a-5cfa74776311 · outbound

This paper cites On the computational complexity and geometry of the first-order theory of the reals.

Probabilistic and Causal Satisfiability: Constraining the Model On the computational complexity and geometry of the first-order theory of the reals

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.315862Z

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 d1580da2-d035-4c89-b943-054e0084010f · outbound

This paper cites a us Kleindessner, Chris Russell, Dominik Janzing, Bernhard Sch \.

Probabilistic and Causal Satisfiability: Constraining the Model a us Kleindessner, Chris Russell, Dominik Janzing, Bernhard Sch \

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.293358Z

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 9148b77d-ad45-4b56-804c-d8b33ebfced5 · outbound

This paper cites On the hardness of approximate reasoning.

Probabilistic and Causal Satisfiability: Constraining the Model On the hardness of approximate reasoning

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.275008Z

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 cb2df960-c963-4207-a39c-790c3e657123 · outbound

This paper cites Complexity of some geometric and topological problems.

Probabilistic and Causal Satisfiability: Constraining the Model Complexity of some geometric and topological problems

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.256939Z

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 ba0bed23-ac8d-47d1-84a2-276ae44afafb · outbound

This paper cites Complete identification methods for the causal hierarchy.

Probabilistic and Causal Satisfiability: Constraining the Model Complete identification methods for the causal hierarchy

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.239093Z

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 49d94787-8200-4b62-933b-f1b804b66449 · outbound

This paper cites Causal structure learning: A combinatorial perspective.

Probabilistic and Causal Satisfiability: Constraining the Model Causal structure learning: A combinatorial perspective

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.224496Z

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 381213bd-a22d-45c8-903b-efb5ae669369 · outbound

This paper cites The hardness of reasoning about probabilities and causality.

Probabilistic and Causal Satisfiability: Constraining the Model The hardness of reasoning about probabilities and causality

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.204666Z

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 37f428ee-8267-46fe-8567-8400da6abd56 · outbound

This paper cites Partial counterfactual identification from observational and experimental data.

Probabilistic and Causal Satisfiability: Constraining the Model Partial counterfactual identification from observational and experimental data

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:50:01.185202Z

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.

Pith citing papers

No inbound Pith citation observations are available.