Pith. sign in

Paper Citation Record · LEDGER

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy

As of 16 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:1908.05361.

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

pith.paper-citation-record.v1
1908.05361 v2

Coverage vector

measured 17 of 17 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T13:29:40.282038Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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

17 of 17 outbound references displayed

  • verified exact1
  • verified fuzzy10
  • unresolved6
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 587afff9-62a6-4c34-9478-9f9cc79c2a11 · outbound

This paper cites Berman, M.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Berman, M

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.702750Z

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.

source=pdf_text observed=2026-08-14T13:29:40.186419Z digest=sha256:a442a07a5ce8146c161b6c301399434c6ceacb9c38fea09bbca57e5a53a595d9

Observation cd4ce27b-b199-4433-aea1-d81dd1db2667 · outbound

This paper cites an unresolved cited work.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Unresolved cited work

Reference 2

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:29:40.689699Z

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.

source=pdf_text observed=2026-08-14T13:29:40.190943Z digest=sha256:20fbe97a19ac36efef815e7165765a596078ecf442ac18b43fd705680bc11fce

Observation 5db96398-d6f6-45ce-b0bd-42222ac497dc · outbound

This paper cites an unresolved cited work.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:29:40.673856Z

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.

source=pdf_text observed=2026-08-14T13:29:40.195578Z digest=sha256:c1357e3042a4e6b82fd3a682b9d4454155569cce81e628fdc1d2cc2c89e231dc

Observation d7e329a1-c844-4f6d-9aa2-10f250d78ea8 · outbound

This paper cites Dahlhaus, D.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Dahlhaus, D

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.658330Z

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.

source=pdf_text observed=2026-08-14T13:29:40.200717Z digest=sha256:b2da01e55236feea2406afff6198824460d684feb7396b8c4d4824c6c46d945c

Observation 9adc813e-30a8-4737-9346-cdfac0a688b2 · outbound

This paper cites Darmann and J.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Darmann and J

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.640742Z

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.

source=pdf_text observed=2026-08-14T13:29:40.207576Z digest=sha256:49a30d945369aacae6a82793f36cb80491ae2e3620ea0bbe805bb248c12f237d

Observation 23a7b69f-c5dc-4314-b494-0bf0e815338e · outbound

This paper cites Eiter and G.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Eiter and G

Reference 6

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.621060Z

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.

source=pdf_text observed=2026-08-14T13:29:40.215930Z digest=sha256:6337c4e523c7c10cdcf29a1969591e97978ed29bbb6c2fb019c0d836f527b991

Observation 5d171b0d-849c-47fc-9180-8c424d8c9487 · outbound

This paper cites an unresolved cited work.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:29:40.603910Z

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.

source=pdf_text observed=2026-08-14T13:29:40.226230Z digest=sha256:0d21964089bb5dba83580930f9b8028e3e8ad24841533b0226a1caf44b1bc872

Observation e757c2b4-1362-40f0-a3ca-21fbefa00400 · outbound

This paper cites Haviv, O.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Haviv, O

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.586277Z

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.

source=pdf_text observed=2026-08-14T13:29:40.231336Z digest=sha256:168f37ffb897debe3375c1a55ff7d962aa1ec3f8eebe3f65747bc0088f99c0bb

Observation 05ea71b6-9887-4a66-a5d5-399010c0f9c0 · outbound

This paper cites Karpinski and K.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Karpinski and K

Reference 9

Resolution
verified exact
raw_fallback, observed 2026-08-14T13:29:40.419239Z

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.

source=pdf_text observed=2026-08-14T13:29:40.237826Z digest=sha256:b933ccf152b5f70bed27acdb3bbfc59db735ea7af6197465bc7ef5baee1d7fd9

Observation 3c098693-690c-4577-a758-533f7fb758ff · outbound

This paper cites Karpinski and K.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Karpinski and K

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.570229Z

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.

source=pdf_text observed=2026-08-14T13:29:40.244860Z digest=sha256:5f919d52605d3bf7ffd25036709da196ab3d2af688ef0d2f0f3c202ccef537b8

Observation e226e460-2b85-4d45-83a3-4881603bf5ba · outbound

This paper cites Porschen, B.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Porschen, B

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.556649Z

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.

source=pdf_text observed=2026-08-14T13:29:40.249897Z digest=sha256:30223ad45d8f828844a3ce42e507bc652ea5230c97c42f36a7a3cfedc362f2b5

Observation 33d6290d-c350-4572-8705-02e7b69116d0 · outbound

This paper cites Porschen, T.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Porschen, T

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.541102Z

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.

source=pdf_text observed=2026-08-14T13:29:40.256393Z digest=sha256:1abc0575613e0fd2faa8faa8cdc09963a0d2f458ba0c10d96eee6d72298e27ae

Observation ad2a1c1e-d693-470b-bafb-df9209c7f50b · outbound

This paper cites Schaefer (2001).

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Schaefer (2001)

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.523834Z

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.

source=pdf_text observed=2026-08-14T13:29:40.261598Z digest=sha256:040ff2a075bdb5dd71bb03432ee18d109bff1f4dca7adac5f6ebe5f1cc32ab3b

Observation 80a5a3a5-6c5b-47a9-ad28-0937dd312e5e · outbound

This paper cites Schaefer and C.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Schaefer and C

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-14T13:29:40.501773Z

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.

source=pdf_text observed=2026-08-14T13:29:40.266540Z digest=sha256:831e22e5f928bb637364ab0d2afabbc8024a52b7af81f2c434ac42e81d9b276e

Observation 7dbc88ff-0a9f-473f-b835-875f4486ffac · outbound

This paper cites an unresolved cited work.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:29:40.481727Z

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.

source=pdf_text observed=2026-08-14T13:29:40.271744Z digest=sha256:9366d152bf51a2e5c2930605fc98565bbc6d5a8c89bd2abfc26a5df5086c86cc

Observation 857150cc-8e17-4118-8a9a-bf33b7c6b85d · outbound

This paper cites an unresolved cited work.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Unresolved cited work

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:29:40.462309Z

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.

source=pdf_text observed=2026-08-14T13:29:40.276841Z digest=sha256:6622d124517df6535e3933c651996d93b8402131886f18253ab3abd0ad2321c2

Observation 6c2187a0-80e5-4114-a888-cabb18549b9e · outbound

This paper cites an unresolved cited work.

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-08-14T13:29:40.441353Z

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.

source=pdf_text observed=2026-08-14T13:29:40.282038Z digest=sha256:9207b5772e513be1ae7479ffe97d4ff3d272cef6ec718abd13d970230d1c185d

Pith citing papers

No inbound Pith citation observations are available.