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-12T06:34:41.77262+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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.872427Z digest=sha256:8d2403cf55bd185b7948d013c2aa66fccedcad8012391f0e4ffd7e8c57f317b3

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:16.999842Z digest=sha256:00930d679ea87c2184b4aacc0fbea6da2ea74a6e5f7f7e0c5ccd2ba0610d9f7c

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:17.344548Z digest=sha256:6e29dd86d789ec4e49061b46a6e601e9b755243c1310570ae1ae40aca5da0efc

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.027075Z digest=sha256:8704d9f06924c14773b907b214cd8698393c34fea48b486f6a1ea5dc9e32a921

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:18.783920Z digest=sha256:81c9956a2cdb85d80bad0c999aa0825ecff0da24ef34d5151daa1b9fba48bab3

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.162517Z digest=sha256:7011786634ffd198f486526b0af811a5b0f80faef37e89dc2fe429804b70a0a4

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.413041Z digest=sha256:1b00f4cdc8c412769cc6ace3508560b5d07312fc1c08ae333662aca927bd8fb0

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.498322Z digest=sha256:65b56adc30cb9176f4fd921c57973ee4bae7698684124f7860a5f4dc3a6a467b

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:10:19.697953Z digest=sha256:82a9735e2c356f29cc67add894dc9ea48690b39bfaac49dbc0e6bc7eff9cc754

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

source=arxiv_source observed=2026-08-06T18:11:14.436584Z digest=sha256:5c314e44ccfe23ec973dfe28eaf23323d8c617aceee8c3bd9f601e393a16a4e2

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

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-12T06:34:41.77262+00:00.

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

Pith citing papers

No inbound Pith citation observations are available.