Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-11T21:23:45.418655Z
Paper Citation Record · LEDGER
CSB: A Counting and Sampling tool for Bit-vectors
As of 12 August 2026, this Paper Citation Record lists 100 of 300 outbound references and 0 inbound Pith citation observations for arXiv:2607.04142.
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-12T06:34:41.77262+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
100 of 300 outbound references displayed
- verified exact1
- verified fuzzy0
- unresolved98
- parse uncertain1
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 478384c5-28ee-4522-9992-116b6a797fbf · outbound
This paper cites 2024 , publisher =.
CSB: A Counting and Sampling tool for Bit-vectors 2024 , publisher =
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03547901-7cd1-48c2-8b01-1880a80f306a · outbound
This paper cites International Conference on Computer Aided Verification , pages=.
CSB: A Counting and Sampling tool for Bit-vectors International Conference on Computer Aided Verification , pages=
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b433c7cb-b647-4b16-a7ee-ccc0cac42186 · outbound
This paper cites 2025 , url =.
CSB: A Counting and Sampling tool for Bit-vectors 2025 , url =
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 704fd87e-1b73-4ba1-ab25-dbc93402316b · outbound
This paper cites Proceedings of the 61st ACM/IEEE Design Automation Conference , pages =.
CSB: A Counting and Sampling tool for Bit-vectors Proceedings of the 61st ACM/IEEE Design Automation Conference , pages =
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a7b11c0-9a5d-4888-a134-29986807e6a9 · outbound
This paper cites Knowledge Compilation for.
CSB: A Counting and Sampling tool for Bit-vectors Knowledge Compilation for
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 74c6b8a4-2d2d-4a74-a88a-20a4b1bb7f8b · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ba556de3-255b-4bb8-b4d0-2b89349b1dce · outbound
This paper cites Artificial Intelligence , year =.
CSB: A Counting and Sampling tool for Bit-vectors Artificial Intelligence , year =
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ccf1cd4-be9d-46f9-a8fc-0e3fc0cca385 · outbound
This paper cites What’s hard about.
CSB: A Counting and Sampling tool for Bit-vectors What’s hard about
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 00acb32a-527e-43b2-b3cf-b84cd6efc463 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4b0e86d2-6b0f-426f-9b9a-fcbb38406472 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec883871-bbb4-4922-bc6f-64005d63ac4d · outbound
This paper cites ACM SIGPLAN Notices , number =.
CSB: A Counting and Sampling tool for Bit-vectors ACM SIGPLAN Notices , number =
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a684995c-581f-4571-b256-a83ce2a7a2a9 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 20034d53-9abe-4869-b0cf-b45fccbbf8d1 · outbound
This paper cites Proceedings of the twenty-third annual ACM symposium on Theory of computing , year =.
CSB: A Counting and Sampling tool for Bit-vectors Proceedings of the twenty-third annual ACM symposium on Theory of computing , year =
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a69a7c01-ba17-4664-84ad-8d461d323613 · outbound
This paper cites Journal of Automated Reasoning , number =.
CSB: A Counting and Sampling tool for Bit-vectors Journal of Automated Reasoning , number =
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 81be268c-f27b-4621-aece-90fd6d00f4ea · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e452b12-a177-483d-96c7-6117c02137cd · outbound
This paper cites SAT Competition , year =.
CSB: A Counting and Sampling tool for Bit-vectors SAT Competition , year =
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bde6d416-db68-4ebb-af22-bd9c693d7923 · outbound
This paper cites Twenty-first International Joint Conference on Artificial Intelligence , year =.
CSB: A Counting and Sampling tool for Bit-vectors Twenty-first International Joint Conference on Artificial Intelligence , year =
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0b2bc0a9-835c-4364-ab45-27207e870b31 · outbound
This paper cites International Conference on Principles and Practice of Constraint Programming , year =.
CSB: A Counting and Sampling tool for Bit-vectors International Conference on Principles and Practice of Constraint Programming , year =
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5508a006-a23e-4037-9040-ba52245fcec9 · outbound
This paper cites International Journal on Artificial Intelligence Tools , number =.
CSB: A Counting and Sampling tool for Bit-vectors International Journal on Artificial Intelligence Tools , number =
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 49e02b01-6fe6-4c24-a14f-356f81ccdb01 · outbound
This paper cites International Conference on Computer Aided Verification , year =.
CSB: A Counting and Sampling tool for Bit-vectors International Conference on Computer Aided Verification , year =
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f984961d-f1fa-445b-a874-5e21e1fa6135 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7b3052b2-3ff5-48d3-9b0c-1b1be2e4f343 · outbound
This paper cites Mathematics of Operations Research , number =.
CSB: A Counting and Sampling tool for Bit-vectors Mathematics of Operations Research , number =
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f85e51a5-544f-4894-9f61-655c053674e7 · outbound
This paper cites Quantitative verification of neural networks and its security applications , year =.
CSB: A Counting and Sampling tool for Bit-vectors Quantitative verification of neural networks and its security applications , year =
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fa728da-a6b2-4da9-a316-cf09ac2e35d7 · outbound
This paper cites Thirty-First AAAI Conference on Artificial Intelligence , year =.
CSB: A Counting and Sampling tool for Bit-vectors Thirty-First AAAI Conference on Artificial Intelligence , year =
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4cabd2c1-86f3-4c0f-9c1f-36f36a5a827c · outbound
This paper cites International Conference on Tools and Algorithms for the Construction and Analysis of Systems , year =.
CSB: A Counting and Sampling tool for Bit-vectors International Conference on Tools and Algorithms for the Construction and Analysis of Systems , year =
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cd88c8f3-3e50-4498-9ddc-b137885bd7b9 · outbound
This paper cites Satisfiability modulo theories , year =.
CSB: A Counting and Sampling tool for Bit-vectors Satisfiability modulo theories , year =
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a435bfd1-f093-46f6-bf62-2c6e3969c874 · outbound
This paper cites The multiple facets of software diversity: Recent developments in year 2000 and beyond , year =.
CSB: A Counting and Sampling tool for Bit-vectors The multiple facets of software diversity: Recent developments in year 2000 and beyond , year =
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c50cdccb-4ea2-48be-949a-90e28cbd6cfc · outbound
This paper cites AAAI/IAAI , year =.
CSB: A Counting and Sampling tool for Bit-vectors AAAI/IAAI , year =
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60b88240-fdc2-4ecc-88f5-6cbc6b4c5e58 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 21cfb35c-aa95-4787-8555-1f6c9532bfef · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 203f6d2a-1f28-48a8-97c3-e226ff4cda26 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fa3b5cc-c941-4f03-ae0e-6dd7ba71ffe7 · outbound
This paper cites bioRxiv , year =.
CSB: A Counting and Sampling tool for Bit-vectors bioRxiv , year =
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8b634597-3917-4316-a785-37846d1cdfaf · outbound
This paper cites Automating the development of chosen ciphertext attacks , year =.
CSB: A Counting and Sampling tool for Bit-vectors Automating the development of chosen ciphertext attacks , year =
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65909aea-a948-4a8b-9323-8c0f0721f5f4 · outbound
This paper cites Advances in Applied Mathematics , number =.
CSB: A Counting and Sampling tool for Bit-vectors Advances in Applied Mathematics , number =
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 76e0c748-06e3-4cba-96b2-51072d7f9dc1 · outbound
This paper cites International conference on tools and algorithms for the construction and analysis of systems , year =.
CSB: A Counting and Sampling tool for Bit-vectors International conference on tools and algorithms for the construction and analysis of systems , year =
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a981dad4-3b61-4495-8d70-aabc27690a0a · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7dfc204f-84ba-4f50-821d-c6f99ea01b25 · outbound
This paper cites International Conference on Theory and Applications of Satisfiability Testing , year =.
CSB: A Counting and Sampling tool for Bit-vectors International Conference on Theory and Applications of Satisfiability Testing , year =
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 897c7609-3319-4d5e-a63b-473a579361f4 · outbound
This paper cites Pragmatics of SAT , year =.
CSB: A Counting and Sampling tool for Bit-vectors Pragmatics of SAT , year =
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dbea3bcd-e72c-450f-9f05-0f495846a4df · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36cadc80-e2bd-4385-9094-a9b61e7ac48e · outbound
This paper cites Resolution proofs and Skolem functions in.
CSB: A Counting and Sampling tool for Bit-vectors Resolution proofs and Skolem functions in
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 53a47d42-3536-4788-a1a6-e048fe70de01 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 27b198ef-a8d1-46db-b9b4-700bfae7f83e · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ca1386d-62e3-43a0-9026-98d1d8617f8e · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 66caea35-cee5-4294-9fed-b3ac6f6a878b · outbound
This paper cites Algebraic Statistics , number =.
CSB: A Counting and Sampling tool for Bit-vectors Algebraic Statistics , number =
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7ea4f61-1be8-4067-9499-5419805e073f · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 451a79ad-138c-4efe-9f0e-a809c315063d · outbound
This paper cites Israel Journal of Mathematics , year =.
CSB: A Counting and Sampling tool for Bit-vectors Israel Journal of Mathematics , year =
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc657605-1808-45d6-a183-7fdabccf7289 · outbound
This paper cites 2026 , publisher=.
CSB: A Counting and Sampling tool for Bit-vectors 2026 , publisher=
Reference 47
- Resolution
- verified exact
- doi, observed 2026-07-11T21:28:17.641171Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 86d0c56e-b0bc-4a0d-95b1-4fe8a45785a7 · outbound
This paper cites ABC: An academic industrial-strength verification tool , year =.
CSB: A Counting and Sampling tool for Bit-vectors ABC: An academic industrial-strength verification tool , year =
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation de098eba-874f-4642-adf3-89b223a0dce9 · outbound
This paper cites Boolector: An efficient SMT solver for bit-vectors and arrays , year =.
CSB: A Counting and Sampling tool for Bit-vectors Boolector: An efficient SMT solver for bit-vectors and arrays , year =
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 52006f8b-deab-4f4c-8b69-8dada052ff35 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation abce0d8c-fb32-4ef6-b9b6-79800a1bfa09 · outbound
This paper cites Handbook of satisfiability , year =.
CSB: A Counting and Sampling tool for Bit-vectors Handbook of satisfiability , year =
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 065fa715-cc86-4ae3-b1b7-337d0f1c7d00 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 68a4d1bc-3f1a-4908-9db7-a92fe2c914ac · outbound
This paper cites Symmetric weighted first-order model counting , year =.
CSB: A Counting and Sampling tool for Bit-vectors Symmetric weighted first-order model counting , year =
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4f391b02-31c9-48ea-be71-10a0a55f071e · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a400dbf-f995-44b9-ae6c-6bf05b3291a4 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9262e480-1169-4428-950a-549c614f7aca · outbound
This paper cites Artificial Intelligence , year =.
CSB: A Counting and Sampling tool for Bit-vectors Artificial Intelligence , year =
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc9b9548-75d6-414a-a6ef-2b3cc4a37ab5 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e2026bac-2fb2-490e-81c7-c182bdb49dba · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 17eba6ea-babb-4257-a5ea-e5dbe1c61988 · outbound
This paper cites Proceedings of the international conference on automated planning and scheduling , year =.
CSB: A Counting and Sampling tool for Bit-vectors Proceedings of the international conference on automated planning and scheduling , year =
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2c7953b5-567a-4836-b96b-b4c2c3eb11fd · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c27891e4-16c1-4ee4-a8a7-e7c22d461a8a · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b70d8a30-2897-43e8-acc3-64e75a478d73 · outbound
This paper cites and Meel, Kuldeep S.
CSB: A Counting and Sampling tool for Bit-vectors and Meel, Kuldeep S
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4853c16-f912-49a5-b953-3e5eca60ca5d · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 89cb9cf5-225e-47a4-a4bc-1067e40294e5 · outbound
This paper cites A scalable approximate model counter , year =.
CSB: A Counting and Sampling tool for Bit-vectors A scalable approximate model counter , year =
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 695f49b3-bb2b-4355-a0b7-f2efb7382187 · outbound
This paper cites Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.
CSB: A Counting and Sampling tool for Bit-vectors Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24a430be-d422-47d7-b707-11456f7721bd · outbound
This paper cites Approximate model counting , year =.
CSB: A Counting and Sampling tool for Bit-vectors Approximate model counting , year =
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2f8949f5-5f6d-482d-96f1-2d8bc7e1605d · outbound
This paper cites Approximate counting in SMT and value estimation for probabilistic programs , year =.
CSB: A Counting and Sampling tool for Bit-vectors Approximate counting in SMT and value estimation for probabilistic programs , year =
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2032a884-cbe2-4f22-8db9-00bd5c9573b6 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd429d24-a85c-499f-9997-13f0e3905aee · outbound
This paper cites International Workshop on Fast Software Encryption , year =.
CSB: A Counting and Sampling tool for Bit-vectors International Workshop on Fast Software Encryption , year =
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 969a8db7-f1d8-4ea3-85d1-af5fabdb5e19 · outbound
This paper cites Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , number =.
CSB: A Counting and Sampling tool for Bit-vectors Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , number =
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7fa6845e-102f-4ee7-bfb1-969258b307d8 · outbound
This paper cites International Conference on Tools and Algorithms for the Construction and Analysis of Systems , year =.
CSB: A Counting and Sampling tool for Bit-vectors International Conference on Tools and Algorithms for the Construction and Analysis of Systems , year =
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ca9c52b9-a8de-4d2c-b127-986ad95b3a10 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4bca6a25-c247-406c-9826-010d9717737d · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 73
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7bdce3e3-d491-4152-9c2c-475f57355c17 · outbound
This paper cites Proceedings of the AAAI Conference on Artificial Intelligence , number =.
CSB: A Counting and Sampling tool for Bit-vectors Proceedings of the AAAI Conference on Artificial Intelligence , number =
Reference 74
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 82fcc19b-f6d5-4e00-8140-3af8a561bb9c · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 75
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4cf6fc06-12a0-4337-a5e6-21f7f61912c5 · outbound
This paper cites and Vardi, Moshe Y.
CSB: A Counting and Sampling tool for Bit-vectors and Vardi, Moshe Y
Reference 76
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 704ac8c5-4dd9-4ab7-93f2-fbe5e8d27bc7 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 77
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29c833bb-12a3-495f-b898-d8459cce724a · outbound
This paper cites Handbook of Satisfiability , year =.
CSB: A Counting and Sampling tool for Bit-vectors Handbook of Satisfiability , year =
Reference 78
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d902144c-4bd2-47ef-bc22-34f19a132507 · outbound
This paper cites Journal of Artificial Intelligence Research , year =.
CSB: A Counting and Sampling tool for Bit-vectors Journal of Artificial Intelligence Research , year =
Reference 79
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 141f073b-156d-4562-aa6b-84dc400870d1 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 80
- Resolution
- parse uncertain
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2058137d-1e3e-44bb-81e5-bbcd6061c001 · outbound
This paper cites Proceedings of the third annual ACM symposium on Theory of computing , year =.
CSB: A Counting and Sampling tool for Bit-vectors Proceedings of the third annual ACM symposium on Theory of computing , year =
Reference 81
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8524c617-0b5f-4cd8-a7c3-52d9dd18a598 · outbound
This paper cites Quantitative Evaluation of Systems , year =.
CSB: A Counting and Sampling tool for Bit-vectors Quantitative Evaluation of Systems , year =
Reference 82
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0795d4e7-46c3-4935-8aee-3aa1d627303f · outbound
This paper cites 2016 , journal =.
CSB: A Counting and Sampling tool for Bit-vectors 2016 , journal =
Reference 83
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b37a705b-b92c-4333-a634-3dffd58f49ca · outbound
This paper cites Gaussian Cooling and O\^.
CSB: A Counting and Sampling tool for Bit-vectors Gaussian Cooling and O\^
Reference 84
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5af32ec0-2787-411d-ae7c-f0391fa754b9 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 85
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 37a5da36-da5b-4b81-9574-4531ba397204 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 86
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bb74b4c8-0dac-4de0-935c-0a712fc36d79 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 87
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75c48181-2668-4748-8f17-867a590070b3 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 88
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation af092eea-1eb9-4519-a83c-03ae99a8afb8 · outbound
This paper cites Communications of the ACM , number =.
CSB: A Counting and Sampling tool for Bit-vectors Communications of the ACM , number =
Reference 89
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 71645ffa-4540-4d11-b131-c37bc50c9517 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 90
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 62e3b430-9fb0-47c9-a056-16360e525810 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 91
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ba01b470-f4c5-42ff-9b89-9969645d1d46 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 92
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 23f1b1eb-67b8-4cef-8776-6b4d1f7b771d · outbound
This paper cites Journal of symbolic computation , number =.
CSB: A Counting and Sampling tool for Bit-vectors Journal of symbolic computation , number =
Reference 93
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7848e0d7-8a9a-4169-8af4-81dd3cff21c0 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 94
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fca389e-7c5c-409f-8cc9-3641bf4148b1 · outbound
This paper cites Journal of the ACM (JACM) , number =.
CSB: A Counting and Sampling tool for Bit-vectors Journal of the ACM (JACM) , number =
Reference 95
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 173cc3ec-9b46-4fa0-8034-01723868a88c · outbound
This paper cites Descriptive complexity of \#.
CSB: A Counting and Sampling tool for Bit-vectors Descriptive complexity of \#
Reference 96
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ba3c5056-6b37-4acf-b8bb-352a403f106a · outbound
This paper cites An optimal algorithm for Monte Carlo estimation , year =.
CSB: A Counting and Sampling tool for Bit-vectors An optimal algorithm for Monte Carlo estimation , year =
Reference 97
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ae5711e-26cc-43da-a0ad-5a73f233517b · outbound
This paper cites An optimal approximation algorithm for Bayesian inference , year =.
CSB: A Counting and Sampling tool for Bit-vectors An optimal approximation algorithm for Bayesian inference , year =
Reference 98
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a3c3e6c3-8caa-4224-b81f-7713f7f0c309 · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 99
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4494103f-71d8-40b9-a4cd-27a3ca0edd1a · outbound
This paper cites an unresolved cited work.
CSB: A Counting and Sampling tool for Bit-vectors Unresolved cited work
Reference 100
- Resolution
- unresolved
- no resolver link, observed 2026-07-11T21:23:45.418655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.