Paper Citation Record · LEDGER

Numerical Considerations in Weighted Model Counting

As of 19 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 1 inbound Pith citation observation for arXiv:2508.06264.

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

pith.paper-citation-record.v1
2508.06264 v1

Coverage vector

measured 55 of 55 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T23:04:16.725226Z

measured 56 of 56 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-20T18:55:38.189954Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

55 of 55 outbound references displayed

verified exact0
verified fuzzy42
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation c0a244be-2c21-48d7-99aa-b32aeec8601a · outbound

This paper cites Interactive cost configuration over decision diagrmas.

Numerical Considerations in Weighted Model Counting Interactive cost configuration over decision diagrmas

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:26.307466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation bfcbf84b-0be1-419e-bb45-a11fae6434dc · outbound

This paper cites Andrews and Sarah J.

Numerical Considerations in Weighted Model Counting Andrews and Sarah J

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:26.087977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0d8439e5-39d7-4f66-8e71-9672af6c863f · outbound

This paper cites Lower bounds for exact model counting and applications in probabilistic databases.

Numerical Considerations in Weighted Model Counting Lower bounds for exact model counting and applications in probabilistic databases

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:25.869159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 18a4619c-c843-4dc1-96ef-494f9df83fd4 · outbound

This paper cites A verified certificate checker for finite-precision error bounds in Coq and HOL4.

Numerical Considerations in Weighted Model Counting A verified certificate checker for finite-precision error bounds in Coq and HOL4

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:25.684384Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 75aa8f6f-a151-4c02-a186-6981fbdb500d · outbound

This paper cites Automated analysis of feature models 20 years later: A literature review.

Numerical Considerations in Weighted Model Counting Automated analysis of feature models 20 years later: A literature review

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:25.493951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a3f5cf67-a465-4093-8a6f-54c6af888086 · outbound

This paper cites Cire, Willem-Jan van Hoeve, and John Hooker.

Numerical Considerations in Weighted Model Counting Cire, Willem-Jan van Hoeve, and John Hooker

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:25.264378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b3f424e4-d3aa-4ac8-815a-ce0f2439e050 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:25.092287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 973b64de-5853-4ce0-9fae-34e79b3ba059 · outbound

This paper cites On probabilistic inference by weighted model counting.

Numerical Considerations in Weighted Model Counting On probabilistic inference by weighted model counting

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:24.825468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a4ebd960-4bf0-4ab8-ba67-582e00be1095 · outbound

This paper cites Decomposable negation normal form.

Numerical Considerations in Weighted Model Counting Decomposable negation normal form

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:24.583182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6493a4ba-907d-41b9-b0b5-8e1fe3d3f2a1 · outbound

This paper cites On the tractable counting of theory models and its application to truth main- tenance and belief revision.

Numerical Considerations in Weighted Model Counting On the tractable counting of theory models and its application to truth main- tenance and belief revision

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:24.368534Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 747db3be-76bd-42bf-bec1-81f8d3364dc7 · outbound

This paper cites A compiler for deterministic, decomposable negation normal form.

Numerical Considerations in Weighted Model Counting A compiler for deterministic, decomposable negation normal form

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:24.176545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ee26e8b1-823a-4432-bd30-5dd5d7f219db · outbound

This paper cites New advances in compiling CNF to decomposable negation normal form.

Numerical Considerations in Weighted Model Counting New advances in compiling CNF to decomposable negation normal form

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:23.914672Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b2d0cfd6-0e91-4791-846d-2f392d135fdb · outbound

This paper cites SDD: A new canonical representation of propositional knowledge bases.

Numerical Considerations in Weighted Model Counting SDD: A new canonical representation of propositional knowledge bases

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:23.610092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c7333187-c48f-45e9-865a-0c34df05a069 · outbound

This paper cites A knowledge compilation map.

Numerical Considerations in Weighted Model Counting A knowledge compilation map

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:23.252145Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1f8ce06c-765c-4db0-9e90-2d73884f85c4 · outbound

This paper cites Probabilistic planning via heuristic forward search and weighted model counting.

Numerical Considerations in Weighted Model Counting Probabilistic planning via heuristic forward search and weighted model counting

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:22.973424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation a0feaccd-62a8-48cc-9163-0cbdd441f295 · outbound

This paper cites Anytime weighted model counting with approximation guarantees for probabilistic inference.

Numerical Considerations in Weighted Model Counting Anytime weighted model counting with approximation guarantees for probabilistic inference

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:22.752303Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5f0a50c6-5a5d-4f6f-a48a-30e9fd15baff · outbound

This paper cites Dudek, Vu H.

Numerical Considerations in Weighted Model Counting Dudek, Vu H

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:22.508483Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation abeeca71-f75b-4dac-b80f-a5e1f449eab7 · outbound

This paper cites Dudek, Vu H.

Numerical Considerations in Weighted Model Counting Dudek, Vu H

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:22.259299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5469e57b-8102-46d4-b84a-339741d5d96e · outbound

This paper cites Fichte, Markus Hecher, and Florim Hamiti.

Numerical Considerations in Weighted Model Counting Fichte, Markus Hecher, and Florim Hamiti

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:22.055612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0e84e17a-5011-4fd5-b7e9-92dcf8d6c0da · outbound

This paper cites Gomes, Ashish Sabharwal, and Bart Selman.

Numerical Considerations in Weighted Model Counting Gomes, Ashish Sabharwal, and Bart Selman

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:21.851234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e797d130-553f-434b-91bd-fa099d9a6be4 · outbound

This paper cites GNU MP 6.0 Multiple Precision Arithmetic Library.

Numerical Considerations in Weighted Model Counting GNU MP 6.0 Multiple Precision Arithmetic Library

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:21.655552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 9f95f4ff-4000-4e2b-9037-84ce8ef1f343 · outbound

This paper cites Groen, Carol Smidts, and Ali Mosleh.

Numerical Considerations in Weighted Model Counting Groen, Carol Smidts, and Ali Mosleh

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:21.444767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 83ef9bd2-65e3-4524-8b55-ebb56414075c · outbound

This paper cites K-terminal network reliablity measures with 23 Numerical Considerations in Weighted Model Counting R.

Numerical Considerations in Weighted Model Counting K-terminal network reliablity measures with 23 Numerical Considerations in Weighted Model Counting R

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:21.241271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 90db3a8f-2682-4b25-8a46-312ce5811d73 · outbound

This paper cites The results of the model counting competition, 2024.

Numerical Considerations in Weighted Model Counting The results of the model counting competition, 2024

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:21.108272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5870c772-a782-4947-b337-d6ba20337d0d · outbound

This paper cites Hickey, Qun Ju, and Maarten H.

Numerical Considerations in Weighted Model Counting Hickey, Qun Ju, and Maarten H

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:20.990846Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 7b375555-0d13-4ebf-9279-eccfd6cec1b5 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:20.828473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 73c18137-b5b9-45d5-8887-659b0a785253 · outbound

This paper cites The language of search.

Numerical Considerations in Weighted Model Counting The language of search

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:20.651587Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 0294c652-cd67-487a-8149-37441a772fa6 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:20.535668Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d5e495fe-ed6c-4d54-955e-910bd75e8176 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:20.407532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 4ba42c0d-c7bd-476f-ab03-d9212a66c607 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:20.281637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 24e7d210-06c3-4d7c-9ab1-c30f0e0fa4cb · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:20.145565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 9824e39f-315d-45a5-bf0b-de304bd631c7 · outbound

This paper cites An improved decision-DNNF compiler.

Numerical Considerations in Weighted Model Counting An improved decision-DNNF compiler

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:20.011816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 11c308ca-b75c-4bb2-87b1-40da83d760a3 · outbound

This paper cites Certified roundoff error bounds using semidefinite programming.

Numerical Considerations in Weighted Model Counting Certified roundoff error bounds using semidefinite programming

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:19.898591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 96d93d35-3337-439a-9431-06cfde0b8493 · outbound

This paper cites Zero-suppressed BDDs and their applications.

Numerical Considerations in Weighted Model Counting Zero-suppressed BDDs and their applications

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:19.770554Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1bdd4a34-71f5-4285-b932-f6577299949d · outbound

This paper cites Compiling Bayesian networks by symbolic proba- bility calculation based on zero-suppressed BDDs.

Numerical Considerations in Weighted Model Counting Compiling Bayesian networks by symbolic proba- bility calculation based on zero-suppressed BDDs

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:19.635867Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 771b4deb-5ff9-483c-bae5-06ccc6db3d5d · outbound

This paper cites McIlraith, J.

Numerical Considerations in Weighted Model Counting McIlraith, J

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:19.512981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation c807b491-8c43-4666-b44f-04fafc42aaa1 · outbound

This paper cites Handbook of Floating-Point Arithmetic, Second Edition.

Numerical Considerations in Weighted Model Counting Handbook of Floating-Point Arithmetic, Second Edition

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:19.391072Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 6d418838-922e-4cf7-824b-5c3471b69db9 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:19.258927Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation db0caa77-d253-44b4-b1da-0b97eb05b469 · outbound

This paper cites On compiling CNF into decision-DNNF.

Numerical Considerations in Weighted Model Counting On compiling CNF into decision-DNNF

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:19.134905Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 76b7093e-9f28-4e2e-bd08-4e3a49646edc · outbound

This paper cites Motivations for an arbitrary precision interval arithmetic and the MPFI library.

Numerical Considerations in Weighted Model Counting Motivations for an arbitrary precision interval arithmetic and the MPFI library

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:18.970722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ca9681d1-85b2-4b38-9f75-23d11aa646bd · outbound

This paper cites Rump, Florian B¨ unger, and Claude-Pierre Jeannerod.

Numerical Considerations in Weighted Model Counting Rump, Florian B¨ unger, and Claude-Pierre Jeannerod

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:18.794394Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 1f9ad71b-0544-4583-a0d7-32d70ed71b98 · outbound

This paper cites Performing Bayesian inference by weighted model counting.

Numerical Considerations in Weighted Model Counting Performing Bayesian inference by weighted model counting

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:18.684641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d25d9514-b2c1-4e26-9d65-5b6924bc4f2d · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:18.575522Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation d3a23929-152b-4b01-8b5e-28f983830ed3 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:18.418202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation b22dd422-dce5-471e-b01f-30ddda6abede · outbound

This paper cites Smoothing structured decomposable circuits.

Numerical Considerations in Weighted Model Counting Smoothing structured decomposable circuits

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:18.308664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation db1e07e8-80e3-4f6f-b30b-c3c85c2aa9a0 · outbound

This paper cites Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamari´ c, and Ganesh Gopalakrishnan.

Numerical Considerations in Weighted Model Counting Baranowski, Ian Briggs, Charles Jacobsen, Zvonimir Rakamari´ c, and Ganesh Gopalakrishnan

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:18.164308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 2a776766-6bf0-419a-8046-f2444f876c5b · outbound

This paper cites Ham, Sharad Malik, and Robert K.

Numerical Considerations in Weighted Model Counting Ham, Sharad Malik, and Robert K

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:18.069845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation ec51e3a9-fd97-4240-8003-b3a6f11633d5 · outbound

This paper cites Young, Thomas Th¨ um, and Ina Schaefer.

Numerical Considerations in Weighted Model Counting Young, Thomas Th¨ um, and Ina Schaefer

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:17.912049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation dbe5db98-d148-49c4-bfdd-542fad760a61 · outbound

This paper cites Reusing d-DNNFs for efficient feature-model counting.

Numerical Considerations in Weighted Model Counting Reusing d-DNNFs for efficient feature-model counting

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:17.681819Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 66530079-4784-4e64-ae0f-cd89a9f3a7d7 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:17.472393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 767d0ba0-c8b8-42dc-9c9b-1c848781cc57 · outbound

This paper cites Branching Programs and Binary Decision Diagrams: Theory and Applications.

Numerical Considerations in Weighted Model Counting Branching Programs and Binary Decision Diagrams: Theory and Applications

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:17.275428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation e7472c15-ffc8-4b47-ba27-d81ce72300d2 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:17.063943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 5a234fa1-3bd5-4563-a8d5-328e63383a39 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 53

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:16.893853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation 8d86ad7d-cf03-4c78-b755-f62b6557943e · outbound

This paper cites A review of decision diagrams in system reliability modeling and analysis.

Numerical Considerations in Weighted Model Counting A review of decision diagrams in system reliability modeling and analysis

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T23:04:16.812348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Observation bd7d67a2-6223-47ca-a989-df3a34b6e121 · outbound

This paper cites an unresolved cited work.

Numerical Considerations in Weighted Model Counting Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-08-05T23:04:16.781797Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

Pith citing papers

Observation 6e23212c-526c-4d54-b92c-fd1cb506d697 · inbound

Quokka#: Quantum Computing with #SAT cites this paper.

Quokka#: Quantum Computing with #SAT Numerical Considerations in Weighted Model Counting

Reference 25

Resolution: verified exact; arxiv_id, observed 2026-05-20T18:58:53.158363Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.