Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:24:45.095595Z
Paper Citation Record · LEDGER
As of 16 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:1908.03252.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:24:45.095595Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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
61 of 61 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation ac13c8a9-e21c-420b-b266-0e4e130ee83c · outbound
On Symbolic Approaches for Computing the Matrix Permanent Ans ´otegui and F
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 37eb9cce-c5a1-4b7f-9648-9f6d4a57e27f · outbound
On Symbolic Approaches for Computing the Matrix Permanent Arora and B
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 97e171ae-9415-4119-8776-06745d5d96d5 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Bahar, E
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8b40d64c-3d3c-402c-b9ed-393bf69dde03 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Bahar, E
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e384190e-7ad5-42e2-b0f5-7acfc963951a · outbound
On Symbolic Approaches for Computing the Matrix Permanent Bax and J
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1ee3dead-676e-42e1-b188-c02348b3cea8 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Biere, M
Reference 6
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d2cdf778-a590-461d-a64e-5890c7b217dc · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dc5220b6-0977-48a2-a901-df97e6ba3166 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Understanding model counting for $\beta$-acyclic CNF-formulas
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dd865a35-105c-45ad-90a8-8e6b35d212ac · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6d1f7d29-45a1-456b-82c2-67d1970f9bb4 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Burchard, T
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 493406d1-d77b-46ac-b099-8578d5fc782a · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3a6e6583-873e-46f6-b21f-54dfab2cbd40 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3b6f4905-36d2-4cd0-9d6d-d01a1f09d0be · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 13
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d1b9757e-6cea-44c1-a02f-ef396341c4c4 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Courcelle
Reference 14
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2c67439a-6a7d-464c-a2ed-968b320ff3c7 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Courcelle, J
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9edfffd7-0335-4d20-90f5-4817e9515fc5 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Courcelle, J
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8601ada4-246e-4bc5-bd1d-58adeba02f1d · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4ffb4b81-81e4-4307-9b06-9fe02596acf6 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7db67138-d1e6-4fa6-b965-1f43fd95f0eb · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1e54a020-f6aa-441d-9809-5a86d3680cda · outbound
On Symbolic Approaches for Computing the Matrix Permanent ADDMC: Weighted Model Counting with Algebraic Decision Diagrams
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ad67d033-2446-44b2-aa47-f1f3b02aad0f · outbound
On Symbolic Approaches for Computing the Matrix Permanent Duenas-Osorio, K
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0366bb46-7007-49f2-bcbd-1d23a722a95b · outbound
On Symbolic Approaches for Computing the Matrix Permanent Fujita, P
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 29050fc0-91d7-4e5b-913d-84604a49b2ca · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 56bb61ac-0175-4872-9546-db43cb232a48 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Gordon and W
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 07deb9bb-db96-4839-ad94-f8c5c2769543 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fa19a541-3ebf-4f6e-97de-d47afe09c45d · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7d5104f1-fb0d-4c5c-8911-73c742cce5d9 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 08b55fbe-34a4-4715-a1ca-cd077f2d3357 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Ignatiev, A
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 13d7b723-c5a5-48c2-ab5a-fd1575db8b55 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Izumi and T
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 300a98bf-e385-451a-95fa-997238e97512 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 30
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 950106ed-28ed-4e9e-b38c-cb6da0462bca · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 88122284-4ec9-4052-806f-62d89a057f46 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 32
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9dca01d6-2d5e-4bcf-85bd-6407df8962e3 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 095a6c40-ab37-45e0-a61d-c0a4cdc89c0c · outbound
On Symbolic Approaches for Computing the Matrix Permanent Lagniez and P
Reference 34
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cd62600a-c121-42fd-a350-7f7c9f60f4f3 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Liang and F
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 477ed0c3-09d3-463f-b4e8-f82c5716dfeb · outbound
On Symbolic Approaches for Computing the Matrix Permanent Liang, S
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f3f81934-0325-4fa2-94b5-09d4aed9ccc1 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Martins, S
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 339f52d6-f5e3-4011-9c54-97d3d4fab972 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Muise, S
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 10d0cfac-e4bb-440e-87f9-2bc7c7849e73 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Nijenhuis and H
Reference 39
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cdb2bb78-b04e-4413-939d-919f02cd5ba8 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Ogawa, Y
Reference 40
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f1b89a10-b2f1-4555-ae9d-27648b3cb114 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Okamoto, R
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c2a1d5f3-2d5c-4835-932d-5faf441ac4a2 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Pan and M
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 18e54965-de97-4c89-b2fe-29b4bee51121 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Pesant, C.-G
Reference 43
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d514a72f-0627-4192-b578-8cf7541db2b5 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3ae08b35-e636-48b7-9f48-1104f2e86f54 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Robertson and P
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5f4dc96d-a55c-4732-a4b2-ec84922d4f8e · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a24903fd-0794-4efc-8dbc-721059d7dc9a · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e60056ac-5f3b-4237-9618-866a5aca7da6 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 317f4313-d1e3-41a8-a9b5-4849e22a9c39 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4cf7a822-edf0-407e-a520-424b320bf61c · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f32966d9-19c6-450f-acb6-246f4668104c · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation da2358c6-5646-456e-90c9-e46927d87583 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e6436201-1c60-479a-9ded-1e16580f2a0f · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 53
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5a69cf65-9872-4e24-841f-a6ef990bbd73 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 54
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ca0dc2f8-88ac-467c-a54d-72f803c7d0e0 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 55
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 05898f55-dbe8-4aed-a929-c21c8816a88a · outbound
On Symbolic Approaches for Computing the Matrix Permanent van Dijk and J
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3522a842-0f08-41de-a4b5-9802caadc0a3 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Wallace, K
Reference 57
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 34ccdabe-9dcf-40a0-ac27-888ce67823ab · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 58
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4acbf17d-6c10-4e17-bf44-a96f50a40158 · outbound
On Symbolic Approaches for Computing the Matrix Permanent Wei and S
Reference 59
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 485269f2-30e5-40a8-b9b4-bd648ca33c6b · outbound
On Symbolic Approaches for Computing the Matrix Permanent Unresolved cited work
Reference 60
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4c0d1df3-9e74-4d51-8c9b-9f955a3de08c · outbound
On Symbolic Approaches for Computing the Matrix Permanent Zanarini and G
Reference 61
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
No inbound Pith citation observations are available.