Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T10:27:51.017564Z
Paper Citation Record · LEDGER
On Top-Down Pseudo-Boolean Model Counting
As of 8 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2506.05232.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
20 of 20 outbound references displayed
- verified exact0
- verified fuzzy12
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f73aebee-cff1-4909-b42b-fd674f078348 · outbound
This paper cites Iris Bahar, Erica A.
On Top-Down Pseudo-Boolean Model Counting Iris Bahar, Erica A
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.538478Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 83eabf13-a007-4269-917e-020d64ca6b14 · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T10:27:49.462710Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b8d16942-f3e8-40aa-bed2-23f5332a5456 · outbound
This paper cites Dudek, Vu Hoang Nguyen Phan, and Moshe Y.
On Top-Down Pseudo-Boolean Model Counting Dudek, Vu Hoang Nguyen Phan, and Moshe Y
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.522279Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f40049a2-97d3-48ea-915a-dbccb2bc933a · outbound
This paper cites Dudek, Vu Hoang Nguyen Phan, and Moshe Y.
On Top-Down Pseudo-Boolean Model Counting Dudek, Vu Hoang Nguyen Phan, and Moshe Y
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.505288Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 25f9d277-d2f1-49a5-92c5-c7bd9ed361bc · outbound
This paper cites Dudek, Vu Hoang Nguyen Phan, and Moshe Y.
On Top-Down Pseudo-Boolean Model Counting Dudek, Vu Hoang Nguyen Phan, and Moshe Y
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.490335Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 0bfbf929-4d0e-4b5f-8520-52d0fc68f1c8 · outbound
This paper cites Meel, Roger Paredes, and Moshe Y.
On Top-Down Pseudo-Boolean Model Counting Meel, Roger Paredes, and Moshe Y
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.475080Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 40f22909-c932-436b-adf2-a0708b15b473 · outbound
This paper cites Divide and conquer: Towards faster pseudo-boolean solving.
On Top-Down Pseudo-Boolean Model Counting Divide and conquer: Towards faster pseudo-boolean solving
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.460077Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 94488ed5-6c0a-41cd-94a8-3009eff76fdb · outbound
This paper cites \#sat-based vulnerability analysis of security components — a case study.
On Top-Down Pseudo-Boolean Model Counting \#sat-based vulnerability analysis of security components — a case study
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.442302Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7cfb45c1-1ab0-4018-bfe3-6a9a7a62533e · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:27:51.425873Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d831d4aa-d9f2-4a7f-873d-f4102f24662f · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:27:51.411119Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 1ec021d7-e57f-4077-8a78-3c11a27b74d6 · outbound
This paper cites Integrating tree decompositions into decision heuristics of propositional model counters.
On Top-Down Pseudo-Boolean Model Counting Integrating tree decompositions into decision heuristics of propositional model counters
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.392377Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 34235ac5-d14d-4269-bd7f-afa43340bbba · outbound
This paper cites An improved decision-dnnf compiler.
On Top-Down Pseudo-Boolean Model Counting An improved decision-dnnf compiler
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.374174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation fc263c8b-9ef4-4ce9-8e4b-2704cc4dbb70 · outbound
This paper cites Pbcounter: weighted model counting on pseudo-boolean formulas.
On Top-Down Pseudo-Boolean Model Counting Pbcounter: weighted model counting on pseudo-boolean formulas
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.357356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7385758a-b319-4702-a268-6434896a1b43 · outbound
This paper cites Pseudo-boolean constraints from a knowledge representation perspective.
On Top-Down Pseudo-Boolean Model Counting Pseudo-boolean constraints from a knowledge representation perspective
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.334729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 17cbea6d-6439-4ac0-bd02-117f992ca857 · outbound
This paper cites Improvement of projected model-counting solver with component decomposition using sat solving in components.
On Top-Down Pseudo-Boolean Model Counting Improvement of projected model-counting solver with component decomposition using sat solving in components
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T10:27:51.316050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ca7ae013-2158-488c-b918-240db6044d0a · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:27:51.297941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 299d6605-7bf1-45f2-b062-9650982d3f04 · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:27:51.281792Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 18d11002-a2e5-4c53-92fc-35e0c910f79e · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 18
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:27:51.264843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 96b76687-f9b8-4c3a-97b3-21c97da9ea76 · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:27:51.241900Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8c7bb395-5ded-48ef-95bd-a6bacb8243ec · outbound
This paper cites an unresolved cited work.
On Top-Down Pseudo-Boolean Model Counting Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T10:27:51.224308Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.