Paper Citation Record · LEDGER

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles

As of 18 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2608.00768.

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

pith.paper-citation-record.v1
2608.00768 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T00:23:12.706172Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

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

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

14 of 14 outbound references displayed

verified exact0
verified fuzzy10
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c05c02d1-bca8-4c69-9fac-a7461bf055fc · outbound

This paper cites Pattern-Based Constraint Satisfaction and Logic Puzzles.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Pattern-Based Constraint Satisfaction and Logic Puzzles

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-05T00:23:11.851862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25e6e4c1-f652-42cb-92be-2c9d04330ebf · outbound

This paper cites ACM Computing Surveys (CSUR)38(4), 12–es (2006).

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles ACM Computing Surveys (CSUR)38(4), 12–es (2006)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:14.582333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation dd1c2897-6d13-4a7f-aee4-e8f178ea417f · outbound

This paper cites In: Maple in Mathematics Education and Research.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles In: Maple in Mathematics Education and Research

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:14.397315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 2697351b-b35f-4d38-a726-4bacdc13fa77 · outbound

This paper cites Journal of Computing Sciences in Colleges28(3), 21–28 (2013).

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Journal of Computing Sciences in Colleges28(3), 21–28 (2013)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:14.263603Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3985c2af-dd25-420d-b51e-00ae2e625c7a · outbound

This paper cites an unresolved cited work.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-05T00:23:14.124785Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4b3c03ae-0083-40f0-9a1f-d65c7c1f9a43 · outbound

This paper cites an unresolved cited work.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-05T00:23:13.957287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 09b88971-dd93-4800-99fa-f722334bb23d · outbound

This paper cites Bachelor’s thesis, Radboud University (2021).

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Bachelor’s thesis, Radboud University (2021)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:13.813543Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 3a57789e-595d-454f-80a7-858c9d9fb9c8 · outbound

This paper cites AI magazine 13(1), 32–32 (1992).

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles AI magazine 13(1), 32–32 (1992)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:13.670758Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 773d97ef-5745-43b4-b440-df155e040ada · outbound

This paper cites https://norvig.com/sudoku.html (2009), accessed: 2025-02-18.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles https://norvig.com/sudoku.html (2009), accessed: 2025-02-18

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:13.557600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a455aded-6e27-4c37-8918-e88bf2b5f108 · outbound

This paper cites Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions

Reference 10

Resolution: metadata mismatch; local_arxiv, observed 2026-08-05T00:23:12.900552Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 95bd2d57-2ea9-4e7c-890b-276c2030204e · outbound

This paper cites Elsevier (2006) Taming the Search Space 15.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Elsevier (2006) Taming the Search Space 15

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:13.422329Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation e4971d2e-ff88-4602-89cf-0c81c7f5e213 · outbound

This paper cites Journal of Information Processing25, 695–707 (2017).

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Journal of Information Processing25, 695–707 (2017)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:13.282788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5329b8df-251f-4584-b19b-6314c26aa2b7 · outbound

This paper cites Mathematics in Computer Science11, 515–526 (2017).

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles Mathematics in Computer Science11, 515–526 (2017)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:13.170017Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 9af76f61-103c-4782-a7f9-524c70a76903 · outbound

This paper cites In: Foundations of artificial intelli- gence, vol.

Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles In: Foundations of artificial intelli- gence, vol

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:23:13.032911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

No inbound Pith citation observations are available.