Pith. sign in

Paper Citation Record · LEDGER

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms

As of 13 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2507.09324.

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

pith.paper-citation-record.v1
2507.09324 v2

Coverage vector

measured 64 of 64 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T18:11:14.928880Z

measured 64 of 64 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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

64 of 64 outbound references displayed

  • verified exact4
  • verified fuzzy43
  • unresolved17
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 23f47a38-9158-4e6e-b398-aba7ab04a83d · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:21.589265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.378357Z digest=sha256:3e44c747c96a8e8e764fad1d8c9cc4854c64ffccc5a1ba7349fe0ae3e958a23e

Observation 2fc5fa3e-fc65-4a21-8c2e-6321f7cdca7e · outbound

This paper cites Datalog and constraint satisfaction with infinite templates.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Datalog and constraint satisfaction with infinite templates

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:21.516262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.420913Z digest=sha256:e3ca4d3c73b28023b180661d17fef4d5f839aba1b0a97d7c3177be48593d73e0

Observation 2cd29dd6-6b5d-4bb5-9ab4-831f069bf459 · outbound

This paper cites Hereditary First-Order Logic: the tractable quantifier prefix classes.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Hereditary First-Order Logic: the tractable quantifier prefix classes

Reference 3

Resolution
verified exact
local_arxiv, observed 2026-08-06T18:11:15.436994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.494095Z digest=sha256:e99be741abdd1b83b90c14d6e3dbceb55311d4d2018762019db885eb0705d776

Observation 6869a0ed-61d3-4735-83a9-08e6b083299c · outbound

This paper cites The G eneric C ircular T riangle- F ree G raph.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The G eneric C ircular T riangle- F ree G raph

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:21.444415Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.572214Z digest=sha256:ac517bfd789645e800e890134bb171dd18b6a3b8b1ceae88ffbb7cb26b8dc76e

Observation d2b47a3e-de73-4552-8a25-c4f7797608f2 · outbound

This paper cites Point algebras for temporal reasoning: Algorithms and complexity.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Point algebras for temporal reasoning: Algorithms and complexity

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:21.381800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.686399Z digest=sha256:2cbdc9ccbc64e54a418200846446b2b90d0f68e09d7b7dbf19212bf716eb9c4e

Observation f5b83fbe-7bbe-4678-901e-5aea5946817f · outbound

This paper cites Quasi-transitive digraphs.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Quasi-transitive digraphs

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-06T18:10:16.757721Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T18:10:16.757721Z digest=sha256:cfcc0cfdf7150a8a9e681e4b98a92c8a28e7de4e8bb39fb67dda0b7f3b911673

Observation 00e2a4dc-cb42-4e2d-887a-c06a67df2473 · outbound

This paper cites Pure dominance constraints.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Pure dominance constraints

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:21.308926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.795521Z digest=sha256:bfdb1fd52492836af0bf50bc9e68d7d75e3597351ba61437558970fe911552cb

Observation 378f2a77-ef9b-4cd6-a0c7-ba9b278dd13d · outbound

This paper cites Determining the consistency of partial tree descriptions.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Determining the consistency of partial tree descriptions

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:21.240700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.872427Z digest=sha256:5d4251ef134b7a5ae9d68b4f4d808abe5792fd09c2bdd3c313630ce978984b3f

Observation 0df3b83d-5edb-42a2-b9cd-827832ef5124 · outbound

This paper cites The complexity of temporal constraint satisfaction problems.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The complexity of temporal constraint satisfaction problems

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-06T18:10:16.929234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T18:10:16.929234Z digest=sha256:e48b8bb32e59c1d7f0ff97ed3c514a5c327c20209b1758c5344b638835b1e910

Observation 2c81f21e-eedd-46aa-9a0c-0d001d01e3b2 · outbound

This paper cites Hardness of network satisfaction for relation algebras with normal representations.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Hardness of network satisfaction for relation algebras with normal representations

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:21.146921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.999842Z digest=sha256:28309cf451d576018cfa96f8c01832e86df12552d3543529e55a79365241449a

Observation 49424b5c-48f7-4759-bd6d-0e3266e48e3c · outbound

This paper cites The complexity of network satisfaction problems for symmetric relation algebras with a flexible atom.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The complexity of network satisfaction problems for symmetric relation algebras with a flexible atom

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:21.012198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.152953Z digest=sha256:efc6d5824a5c2be37654b1f9e1c3bce6998eb9be68fed304f86d5dc2122d7ed1

Observation 45798a68-8995-4617-8d9f-77c7a011d972 · outbound

This paper cites The complexity of network satisfaction problems for symmetric relation algebras with a flexible atom.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The complexity of network satisfaction problems for symmetric relation algebras with a flexible atom

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.870079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.251677Z digest=sha256:e47eeac2d716de6eaf8bd3bd3a50b673e33b4a539052fcfbb0172e045b13348a

Observation 37cdca3d-92f2-4ab2-a2e3-099e136f7f64 · outbound

This paper cites Network satisfaction problems solved by k -consistency.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Network satisfaction problems solved by k -consistency

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.776439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.344548Z digest=sha256:2b4f8092de93d81013388c31aa345d5c9b4ce0e4e4062c9ae8018512d4d3e37a

Observation 8d0e5885-5413-48aa-9df4-b0a1214cb760 · outbound

This paper cites Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\omega$-categorical structures.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\omega$-categorical structures

Reference 14

Resolution
verified exact
local_arxiv, observed 2026-08-06T18:11:15.338246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.395354Z digest=sha256:bd6dafa918b7b6b52d2366881c9e243ac63d50af931b5a4918d91fdb034de790

Observation 388d3e4d-6d9e-4f24-bce6-a64921413c57 · outbound

This paper cites Krokhin, and Jakub Opr s al.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Krokhin, and Jakub Opr s al

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-06T18:10:17.468589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T18:10:17.468589Z digest=sha256:96448429d724120a7a459c71b20022bccceba04837c277eed37ecdd5c69be3ec

Observation 87ba9e4d-4be6-4344-9909-ef6fd0c39986 · outbound

This paper cites Constraint satisfaction problems for reducts of homogeneous graphs.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Constraint satisfaction problems for reducts of homogeneous graphs

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.666838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.570889Z digest=sha256:d7fbe8af280e27a2e8ecbd110956d5b7caf70c7f529e71c0fe174797c7d8179d

Observation 9fe6591d-eee0-459d-9bc4-29bb3bacb0ea · outbound

This paper cites Finite relation algebras with normal representations.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Finite relation algebras with normal representations

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.540049Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.660968Z digest=sha256:cfbf15d9ccaa06dd3469f1256e5de8c6035530d91d84e7167368ea1966a17640

Observation 8718c5d7-5ff9-43e6-b1f8-87b9574cfc5e · outbound

This paper cites Complexity of Infinite-Domain Constraint Satisfaction.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Complexity of Infinite-Domain Constraint Satisfaction

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.449546Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.725308Z digest=sha256:cb93488de903a27aa2fcd6d58b75b9996c57f2d4e8b6fc4bb320a1a5b432b20c

Observation 01f85c2c-a0fb-40fd-8b0a-8f4a72bd5bd7 · outbound

This paper cites The wonderland of reflections.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The wonderland of reflections

Reference 19

Resolution
unresolved
no resolver link, observed 2026-08-06T18:10:17.780592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T18:10:17.780592Z digest=sha256:3312a7e9d3db4ac57b6169cb7c95a338ab879663b453530956c3991824ce88bb

Observation 6c05f84a-ebd5-4a6f-acbb-6fd72ccbf9e5 · outbound

This paper cites Reducts of R amsey structures.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Reducts of R amsey structures

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.291721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.879032Z digest=sha256:af44a17aae9b32b52baeeb2764fdfba0805715ef05ece34c2dbe0347746e5e87

Observation 61d419aa-eddf-4d40-8256-73fa12b6635d · outbound

This paper cites Topological birkhoff.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Topological birkhoff

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.196491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.961414Z digest=sha256:dc408dba4a8b3b141b54182b4ebc203f1792e620d9fb9593fc794cd34607708c

Observation 058b01a0-6ddd-499b-b446-7bd73c487d2d · outbound

This paper cites Schaefer's theorem for graphs.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Schaefer's theorem for graphs

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:20.037721Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.027075Z digest=sha256:0710411f1855cccbb367b929d141604971986730610a5897571df88e0caf9091

Observation fb31436c-6e5f-4c91-82a0-f8b41d3972d9 · outbound

This paper cites The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

Reference 23

Resolution
verified exact
local_arxiv, observed 2026-08-06T18:11:15.258293Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.077901Z digest=sha256:bcd329e9822ef5c6bb836ff62ca2a01f09b0a1544885abbecf8be3cd8e65e821

Observation ce577ae1-fd76-46b0-9e27-ddf824e56bac · outbound

This paper cites Projective clone homomorphisms.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Projective clone homomorphisms

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:19.844887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.151997Z digest=sha256:ea6ea48535eebf0995ebe753ae00eecc633cefa4f7d58f2f94054940121bc21a

Observation 978925c9-f4cd-4c15-91cf-3cded8628ecb · outbound

This paper cites Burris and Hanamantagouda P.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Burris and Hanamantagouda P

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:19.697682Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.238071Z digest=sha256:f4f0529121201c54c82b625296e5a7e2b8fcad271f4aec6dcbd632d68850a1f1

Observation 9ae0e179-bc7c-4589-bf78-567f812b2c60 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:19.570264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.298823Z digest=sha256:a0bf596fdded7a1492e13d849da4fd8176fbefec7b4ab72a583652db04451c12

Observation 4880b018-a0d7-4812-bc5e-c7a8e170898c · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:19.436937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.334337Z digest=sha256:e6b01cb521dbc8abb6a2ffd80d16a9e4b5f7295076ba03cbd8db294a5106f541

Observation f2d679f7-c396-4f11-9dd7-9d8dd9a6bcf0 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:19.286596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.410666Z digest=sha256:8742fb5df3d0be89ed6f5f21a4538e6076beeb7b705b48c043b9bdcee9d1a1a3

Observation 176b5bd1-3d43-454a-80f2-ed6195ee0fc6 · outbound

This paper cites The complexity of the constraint satisfaction problem for small relation algebras.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The complexity of the constraint satisfaction problem for small relation algebras

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:19.139331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.492082Z digest=sha256:b148d47c9373d0515ba17fab8d0a9f241fc56d948b2ef9f324649570b5178261

Observation f24fca17-a04a-49ae-a073-73eb7f548986 · outbound

This paper cites Homogeneous digraphs I.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Homogeneous digraphs I

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:18.994954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.600438Z digest=sha256:2376584078305030e153fb68e215b496fde570001fa469de5471e6b3dc80891b

Observation 6e4f4d2e-9100-4b9f-abab-dc65541a840d · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:18.884264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.708280Z digest=sha256:184f6b2ee247cbe8de9327ae2d0b71aa13a2747c266f84ee2445aeeae10add80

Observation 60ded9af-4fe2-49fd-9639-736ce5eacc53 · outbound

This paper cites Homogeneous ordered graphs and metrically homogeneous graphs, 2020.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Homogeneous ordered graphs and metrically homogeneous graphs, 2020

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:18.812304Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.783920Z digest=sha256:3c313ffb1fa4730b66620372116f7d256aab0b3010d7f1b121460b000868d881

Observation 205a59bd-5377-4e95-82d6-61fdded168e4 · outbound

This paper cites Constructions of color schemes.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Constructions of color schemes

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:18.739404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.860914Z digest=sha256:ac88aea448b6de3be1f579bc68a77eeb0dbe85a2cbef9baf943d58802ec5d790

Observation 915d1851-5071-484e-9c9c-63406c1c3e50 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:18.641335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.949970Z digest=sha256:fc5f77e49d611aef1d30d04886d19a8032b71a374843116a140ab070ecae0ef9

Observation f67e68e1-3931-4508-938c-23df599494f6 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:18.533177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.021321Z digest=sha256:a2ab333f8c95cb7a055cab5dde7119c2b1f13e0ba4e6f0a5c681dbd418085990

Observation b6551f86-5770-4193-ae2b-41ba48da8549 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:18.440684Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.091621Z digest=sha256:b72892225d643dd512e1acacebaba65a0b65bc9b74368cc046d4bf5a90cc9535

Observation a8b273b8-1e87-437c-8c08-cb27e954f9c6 · outbound

This paper cites On datalog vs.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms On datalog vs

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:18.295302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.130120Z digest=sha256:80dccee8e568c8f76e40abfb08e745f4eaba78155839cf9792e1448a6ea6f209

Observation a77d4e2e-b3b4-41f3-8d4e-cb6c0e9154db · outbound

This paper cites Relation algebras and their application in temporal and spatial reasoning.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Relation algebras and their application in temporal and spatial reasoning

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:18.220727Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.162517Z digest=sha256:70467c4498a6ebbab86dac355472a87fddc815c55845cf46a11f5d239959ffd3

Observation 3eace782-5f9f-4e00-a1d6-5e9705976f99 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:18.077185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.227713Z digest=sha256:d4376ea74c018103cc6ec9a9fb3caadb37c7702ef404834bd299dc77a1b33c00

Observation 1eeff893-35c2-4037-ad46-7b333300091a · outbound

This paper cites A guide to NP -completeness.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms A guide to NP -completeness

Reference 40

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.930494Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.311356Z digest=sha256:406174e2caa4aeaa1a2dfc751ea04628e3d8176a57e26fa115fdefec911b126c

Observation 4ddd3f70-3f76-4be6-a1c6-aeebc088e275 · outbound

This paper cites Ward Henson.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Ward Henson

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.818945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.413041Z digest=sha256:7f80210c25ca55c431b35eaabd0b93bfb2f7fc5aec0b7ae78831535392d81cde

Observation c27d905b-0518-4b1d-bfce-9eb48cdcd0cb · outbound

This paper cites Hirsch and I.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Hirsch and I

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.738876Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.444051Z digest=sha256:d6d82342fd37c43e9af1208c0d9ae0e95fdfc776242d957863c25ba83da2c4a5

Observation 344660ad-228b-4f15-b134-30e1ed48204e · outbound

This paper cites Relation Algebras by Games.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Relation Algebras by Games

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.618234Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.498322Z digest=sha256:62f4841dc0759b4a8468e230ad6c03c805aa8650e21a7bc76ea644aa1edbfe32

Observation 38cb4a27-c9af-4857-bb6f-b11b3629e7da · outbound

This paper cites Relation algebras of intervals.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Relation algebras of intervals

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.518105Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.553957Z digest=sha256:6e55c5a96fe4ecfcbb4628cf755ca99214b7b3cdea87227ffa1343801757995a

Observation f0911176-cf29-4b02-abc7-fa64253cdf70 · outbound

This paper cites A finite relation algebra with undecidable network satisfaction problem.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms A finite relation algebra with undecidable network satisfaction problem

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.394956Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.605320Z digest=sha256:e1a5aac80ca78db4589c35e1ef0fcae2183167af3abbc84ec5f1d2d0485e04ef

Observation f3e87a36-134b-4752-a361-e819456e2ac6 · outbound

This paper cites Twenty years of N e s et r il's classification programme of R amsey classes.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Twenty years of N e s et r il's classification programme of R amsey classes

Reference 46

Resolution
verified exact
raw_fallback, observed 2026-08-06T18:11:15.127126Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.697953Z digest=sha256:551aa319dcdcdf30f88f1b05cd3080d3e6cfcdee93307f9e39468509e134ba8f

Observation ad09a12b-8bc2-49c7-801f-42fc5c680965 · outbound

This paper cites A shorter model theory.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms A shorter model theory

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.251159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.766360Z digest=sha256:880568f5ad2916b98e6521b99890d58902eea23d30e4f9614d27122236b21989

Observation 653681f0-7550-4d02-b9ff-072ea8ce2848 · outbound

This paper cites Boolean algebras with operators.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Boolean algebras with operators

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.162545Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.875483Z digest=sha256:f3550994c09bd60586b5af82ce7a56ade95eb37ffdcca9c4c21cc6b765b79336

Observation 4bf0a565-f5c2-4d14-bd1f-2e0d72faee74 · outbound

This paper cites Constraint satisfaction over the random tournament, 2018.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Constraint satisfaction over the random tournament, 2018

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:17.129382Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.916408Z digest=sha256:144732fd9c935c47d9452a54742c9bb30ec480914a490c4402610cc510a7c88b

Observation b45f9585-dca2-4630-b732-42909925bfe8 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:17.047153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.240928Z digest=sha256:384c37e22d4a2f3173862fd0a7e1b07b0fdb2a56bdd40ec0eb7b7b2a6c2cafce

Observation 920227b7-e2da-4c6a-8e7c-c87567bb9fdc · outbound

This paper cites Lachlan and Robert E.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Lachlan and Robert E

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:16.937617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.307183Z digest=sha256:8f7a92df84704dfd91d667931d77c7e5ef8f51245bedb190d06bb8b85ccebad1

Observation 6c5b45cb-0710-4c95-8b8d-9041e9f02824 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:16.839096Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.362392Z digest=sha256:7ee82a94bb9e54146d701483d45881274a8ba82dbb975a58871bc13bc352ec7a

Observation beaf9ba9-bf10-4845-a7bd-3da37c8f77e2 · outbound

This paper cites A survey of homogeneous structures.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms A survey of homogeneous structures

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:16.691092Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.436584Z digest=sha256:1c49f1a432a60b200acf7a9f6665e0397634dfa7ea87245e718177ee34909dbf

Observation c6f07a34-708c-4e53-a728-f44ec0cb9a16 · outbound

This paper cites an unresolved cited work.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Unresolved cited work

Reference 54

Resolution
unresolved
raw_fallback, observed 2026-08-06T18:11:16.506972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.497846Z digest=sha256:e79f3ff5de95759da1569427beadf1c0d6d5f1fbf56b318ed5f1a59a3ffce5a4

Observation bcde7dd3-3d6d-4be1-b5a2-d07e41313162 · outbound

This paper cites Relation Algebras: Volume 150.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Relation Algebras: Volume 150

Reference 55

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:16.388462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.533256Z digest=sha256:ca7797c69a1d306439d6d908eccea7126a1a73afcc5752913b9d2d9685a107e4

Observation cdbe35d3-f40b-442d-841a-8e0e496bc1a2 · outbound

This paper cites On representable relation algebras.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms On representable relation algebras

Reference 56

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:16.262142Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.583123Z digest=sha256:e381dd28b26adea777291dd100707aa67405cb795d00655e68dc73f2fd325f74

Observation a1a03061-0164-44c2-8766-298e522cdc2b · outbound

This paper cites The Two-Valued Iterative Systems of Mathematical Logic.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms The Two-Valued Iterative Systems of Mathematical Logic

Reference 57

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:16.214852Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.641923Z digest=sha256:fe2f941faf8234bbd6b27f6b0942c859ee99e5c83cf7cdfb597ddff1d7d3d7e8

Observation 8b5c21e7-ef72-4968-b598-2c30b912b801 · outbound

This paper cites Schaefer.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Schaefer

Reference 58

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:16.011276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.715632Z digest=sha256:c1217a52fd4d45699db730aed047df95253ddcf14d6732fb7d7dddc12f7f3707

Observation 1daf8746-6263-4343-9ed2-79b664ee3086 · outbound

This paper cites Contributions to the theory of models.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Contributions to the theory of models

Reference 59

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:15.875461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.796866Z digest=sha256:cb5a7f625bc20745fac168f5c6d72711df5979c70ee0bca159963e0deae99215

Observation 77283141-1a81-4022-a7d7-766863b65bb0 · outbound

This paper cites Constraint propagation algorithms for temporal reasoning: A revised report.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Constraint propagation algorithms for temporal reasoning: A revised report

Reference 60

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:15.800505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.825512Z digest=sha256:9b767851b6dc9fceedcabb056f4fe18316d8bec7ef585e0070a3988b24776408

Observation 00b5dd2e-8847-4c03-a8bc-4232e77f5623 · outbound

This paper cites Tarjan, and Eugene L.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Tarjan, and Eugene L

Reference 61

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:15.660404Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.857892Z digest=sha256:3026b61427dd09bcf8aca318910a18dbcbe691bde05595fc3495fdcc7777f46f

Observation d220fd4d-444e-4981-8c6c-f61e3f2a8093 · outbound

This paper cites A Proof of the CSP Dichotomy Conjecture.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms A Proof of the CSP Dichotomy Conjecture

Reference 62

Resolution
unresolved
no resolver link, observed 2026-08-06T18:11:14.893884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T18:11:14.893884Z digest=sha256:f2c293b7abb3cdd2dab1cee5904755b13efbc113d4693f2ff749a08f004c5c64

Observation c1a32e29-1b77-4177-ac7f-aa67274d9987 · outbound

This paper cites A proof of the CSP dichotomy conjecture.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms A proof of the CSP dichotomy conjecture

Reference 63

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:15.556417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.907789Z digest=sha256:c42b4a183277ba1fecf413fbe02961e03f69587440613ee2269248a8c1a217d7

Observation 057b6e7e-b61f-46d8-a9b9-43e472212d2b · outbound

This paper cites Hypergroups.

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms Hypergroups

Reference 64

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T18:11:15.526741Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.928880Z digest=sha256:33ec6f5698c196404031a44268106180731f4d06d5c080b0d76156ed51a28210

Pith citing papers

No inbound Pith citation observations are available.