Paper Citation Record · LEDGER

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality

As of 17 August 2026, this Paper Citation Record lists 79 of 79 outbound references and 2 inbound Pith citation observations for arXiv:2502.02090.

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

pith.paper-citation-record.v1
2502.02090 v1

Coverage vector

measured 79 of 79 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-09T13:32:07.394691Z

measured 81 of 81 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T15:56:48.170515Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-05-16T10:00:49.663700Z

Reference resolution

79 of 79 outbound references displayed

verified exact11
verified fuzzy39
unresolved22
parse uncertain4
malformed identifier3
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 98845bbf-e380-4e28-9b83-e2bbf43bb8af · outbound

This paper cites The computational structure of monotone monadic SNP and constraint satisfaction: A study through Da talog and group theory,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The computational structure of monotone monadic SNP and constraint satisfaction: A study through Da talog and group theory,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.968029Z

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 74a12328-8313-4432-a709-b5fb05968682 · outbound

This paper cites On the structure of polynomial time reduci bility,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality On the structure of polynomial time reduci bility,

Reference 2

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T13:32:13.341681Z

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 670da56d-eade-43ec-b94e-25043e1806e1 · outbound

This paper cites On the algebraic structure of com- binatorial problems,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality On the algebraic structure of com- binatorial problems,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.958076Z

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 d1b0b66f-4371-4acc-96af-1c114465dc82 · outbound

This paper cites Classifying the complexity of constraints using ﬁnite algebras,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Classifying the complexity of constraints using ﬁnite algebras,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.155746Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5b3ca11-e514-4d26-8354-6691c9408ed7 · outbound

This paper cites A dichotomy theorem for nonuniform CSPs,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality A dichotomy theorem for nonuniform CSPs,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.159232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 530e1d0f-7458-48f1-953a-584d0e39b5c3 · outbound

This paper cites A proof of CSP dichotomy conjecture,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality A proof of CSP dichotomy conjecture,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.162876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 625a245d-d5c8-4ac3-ab00-37da6d5f8683 · outbound

This paper cites A proof of the CSP dichotomy conjecture,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality A proof of the CSP dichotomy conjecture,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.948637Z

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 226b16fc-93f4-4e49-aca9-3887fb2548be · outbound

This paper cites The complexity of temporal con straint satisfaction problems,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The complexity of temporal con straint satisfaction problems,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.939205Z

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 b58c75d5-4b42-4551-beb2-f24b0760a3c0 · outbound

This paper cites The complexity o f phylogeny constraint satisfaction problems,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The complexity o f phylogeny constraint satisfaction problems,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.930137Z

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 c94e6636-18b7-455f-8084-26b38d34519e · outbound

This paper cites Schaefer’s theorem for gra phs,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Schaefer’s theorem for gra phs,

Reference 10

Resolution: verified exact; doi, observed 2026-08-09T13:32:07.540623Z

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 93aa1f08-d3fd-40c5-88d0-93f07c533a64 · outbound

This paper cites C onstraint satisfaction problems for reducts of homogeneous graphs,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality C onstraint satisfaction problems for reducts of homogeneous graphs,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.920325Z

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 4e6364c1-698b-4d08-b3bc-7749935dcce0 · outbound

This paper cites An order out of nowhere: a new algorithm for infinite-domain CSPs.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality An order out of nowhere: a new algorithm for infinite-domain CSPs

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.182887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d5edd78-fdab-4540-a00c-ce35cbb706ee · outbound

This paper cites Forbidden tournament s and the ori- entation completion problem,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Forbidden tournament s and the ori- entation completion problem,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.910598Z

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 aa29741b-681a-4b4f-b37a-a63f8342f2a9 · outbound

This paper cites An algebraic proof of the grap h orientation problem dichotomy for forbidden tournaments,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality An algebraic proof of the grap h orientation problem dichotomy for forbidden tournaments,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.901055Z

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 21137c07-66e3-4b5a-a52d-0702cbad63d5 · outbound

This paper cites Generalized completion probl ems with forbidden tournaments,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Generalized completion probl ems with forbidden tournaments,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.192784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 911e14ed-8b03-4024-8f05-989e35d07671 · outbound

This paper cites A universa l-algebraic proof of the complexity dichotomy for monotone monadic SNP,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality A universa l-algebraic proof of the complexity dichotomy for monotone monadic SNP,

Reference 16

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T13:32:12.900210Z

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 6fec0de9-d7bb-4bfd-aa59-debbd3222a63 · outbound

This paper cites A proof of the algebraic tractability conjecture for monotone monadic SNP,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality A proof of the algebraic tractability conjecture for monotone monadic SNP,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.199185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29de784b-ac92-4a0f-a9b1-bc4019083dcc · outbound

This paper cites Universal structures and the logic of fo rbidden patterns,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Universal structures and the logic of fo rbidden patterns,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.890851Z

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 f3078b1e-b639-477a-8ac9-1a68f0a0b3a6 · outbound

This paper cites Ontolo gy-based data access: A study through disjunctive datalog, CSP, and M MSNP,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Ontolo gy-based data access: A study through disjunctive datalog, CSP, and M MSNP,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.205350Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2441acc-2915-4472-b67d-83a1dde1dc28 · outbound

This paper cites Bodirsky, Complexity of Inﬁnite-Domain Constraint Satisfaction , ser.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Bodirsky, Complexity of Inﬁnite-Domain Constraint Satisfaction , ser

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.881077Z

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 b72581a9-5bed-4991-a663-bb6a9737fe71 · outbound

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

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.211868Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b2005be-d106-4265-b736-39cb623477f4 · outbound

This paper cites The complexity of satisﬁability probl ems,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The complexity of satisﬁability probl ems,

Reference 22

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-09T13:32:12.186301Z

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 46847101-96ea-4281-9db3-537f80ce3a5a · outbound

This paper cites The Trigger Mechanism of Recurrent Solar Active Region Jets Revealed by the Magnetic Properties of a Coronal Geyser Site.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The Trigger Mechanism of Recurrent Solar Active Region Jets Revealed by the Magnetic Properties of a Coronal Geyser Site

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.218586Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 835f6e90-4fa0-41c2-8a3f-b9d247222174 · outbound

This paper cites On the complexity of H-coloring,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality On the complexity of H-coloring,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.222089Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6677069f-c95a-489c-86a9-f6631d562750 · outbound

This paper cites H-coloring dichotomy revisited,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality H-coloring dichotomy revisited,

Reference 25

Resolution: verified exact; doi, observed 2026-08-09T13:32:07.497324Z

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 f0233342-4796-4e98-8929-b89b8c27950c · outbound

This paper cites The CSP dichotomy hold s for digraphs with no sources and no sinks (A positive answer to a c onjecture of bang-jensen and hell),.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The CSP dichotomy hold s for digraphs with no sources and no sinks (A positive answer to a c onjecture of bang-jensen and hell),

Reference 26

Resolution: malformed identifier; raw_fallback, observed 2026-08-09T13:32:13.871034Z

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 0b54997a-b818-49bc-b9c9-972b301c813b · outbound

This paper cites Congruence distributivity impl ies bounded width,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Congruence distributivity impl ies bounded width,

Reference 27

Resolution: verified exact; doi, observed 2026-08-09T13:32:07.486886Z

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 50441d80-b60e-4099-a74c-7dac8ad62965 · outbound

This paper cites Constraint satisfaction problems solvable by loc al consistency methods,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Constraint satisfaction problems solvable by loc al consistency methods,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.235611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d95b2e1-d457-4e5f-a644-d46d4373a4a2 · outbound

This paper cites Tractability and learnability arising from al gebras with few subpowers,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Tractability and learnability arising from al gebras with few subpowers,

Reference 29

Resolution: verified exact; doi, observed 2026-08-09T13:32:07.470230Z

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 5b344d0b-51fb-4607-a26c-7cf4bdc71437 · outbound

This paper cites A dichotomy for ﬁrst-order r educts of unary structures,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality A dichotomy for ﬁrst-order r educts of unary structures,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.860205Z

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 0379ba64-6264-4387-a529-1f007ef29c16 · outbound

This paper cites Datalog and constraint sati sfaction with inﬁnite templates,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Datalog and constraint sati sfaction with inﬁnite templates,

Reference 31

Resolution: verified exact; doi, observed 2026-08-09T13:32:07.458654Z

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 6143942d-1cba-4cb6-9fb4-46b475839e88 · outbound

This paper cites Cherlin, Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond, ser.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Cherlin, Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond, ser

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.849727Z

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 ca5ca22f-16ba-4fcc-9c7b-d36ba610b515 · outbound

This paper cites Relational width of ﬁrst-order expansions o f homogeneous graphs with bounded strict width,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Relational width of ﬁrst-order expansions o f homogeneous graphs with bounded strict width,

Reference 33

Resolution: verified exact; doi, observed 2026-08-09T13:32:07.448333Z

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 07c055d2-76b8-4062-87ae-6d7cbddd467b · outbound

This paper cites The reducts of equality up to primitive positive interdeﬁnability,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The reducts of equality up to primitive positive interdeﬁnability,

Reference 34

Resolution: verified exact; raw_fallback, observed 2026-08-09T13:32:11.497574Z

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 0fffa542-0650-494d-92a0-7a71895e925d · outbound

This paper cites Pseudo j´ onsson operations in highly trans itive clones,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Pseudo j´ onsson operations in highly trans itive clones,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.839611Z

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 b7738203-3c2d-4d66-9459-90c38a0c20c1 · outbound

This paper cites On the relational width of ﬁrst-order expans ions of ﬁnitely bounded homogeneous binary cores with bounded strict width ,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality On the relational width of ﬁrst-order expans ions of ﬁnitely bounded homogeneous binary cores with bounded strict width ,

Reference 36

Resolution: malformed identifier; arxiv_id_nonexistent, observed 2026-08-09T13:32:11.050015Z

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 1e59f4d7-5f99-460f-ab42-cb3e61d8fc51 · outbound

This paper cites Smooth approximations and cs ps over ﬁnitely bounded homogeneous structures,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Smooth approximations and cs ps over ﬁnitely bounded homogeneous structures,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.829289Z

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 03bb9575-0cef-4a9c-9e90-89655e97f7a8 · outbound

This paper cites Minimal operations over per mutation groups,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Minimal operations over per mutation groups,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.267921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0560efd-26ca-45b0-84cf-57e1f0758ad5 · outbound

This paper cites Closure functions and width 1 problems,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Closure functions and width 1 problems,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.819182Z

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 85032e64-ebe8-4b5b-8807-b4d0f23d1e20 · outbound

This paper cites The collapse of the bounded width hierarchy,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The collapse of the bounded width hierarchy,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-09T13:32:07.274501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a8a35d5-da9f-4166-81d7-4e2004edf457 · outbound

This paper cites Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Collapsing the bounded width hierarchy for infinite-domain CSPs: when symmetries are enough

Reference 41

Resolution: verified exact; local_arxiv, observed 2026-08-09T13:32:07.430242Z

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 a5b3850d-d13f-4ffc-ac17-ca6cb5130031 · outbound

This paper cites Constraint satisfacti on with countable ho- mogeneous templates,.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Constraint satisfacti on with countable ho- mogeneous templates,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.808636Z

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 7d672344-c2e0-4c97-87b1-7ee10f45a0bd · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.799310Z

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 1d507d05-d66e-458c-b474-929443db09a8 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.790446Z

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 c783f7fe-bf8a-476a-baec-71ff896b12df · outbound

This paper cites Similarly, the vectors are of shape (C,OD,OD) if (v3 2,v 4.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Similarly, the vectors are of shape (C,OD,OD) if (v3 2,v 4

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.780464Z

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 2b34505b-7395-48b8-8bbb-f4a83c01b66f · outbound

This paper cites We will now prove the following claim.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality We will now prove the following claim

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.770436Z

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 0f6fe16a-26a9-460e-91b7-8b20ee4f95ae · outbound

This paper cites Because it has no 2-algebraicity we may assume that v2 2 is a fresh value, not chosen before.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Because it has no 2-algebraicity we may assume that v2 2 is a fresh value, not chosen before

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.760876Z

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 816f6b24-7c9f-4c71-8764-d38a62925f5b · outbound

This paper cites Finally, by 1-transitivity and since B has no 2-algebraicity there exists v2 3 such that (v1 3,v 2 3,v 3 3,v 4.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Finally, by 1-transitivity and since B has no 2-algebraicity there exists v2 3 such that (v1 3,v 2 3,v 3 3,v 4

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.750967Z

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 29578516-0315-4a6f-a20f-85cc784fd564 · outbound

This paper cites Observe that the constructed v1, v2 are of shape (C,C,O D), and hence (J1(v1),J 1(v2)) ∈C.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Observe that the constructed v1, v2 are of shape (C,C,O D), and hence (J1(v1),J 1(v2)) ∈C

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.741319Z

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 5d2b2018-d42f-4484-83ad-9ea9a94bdfc3 · outbound

This paper cites Set q1 = (v1 1,q 1,v 1 3).

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Set q1 = (v1 1,q 1,v 1 3)

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.731177Z

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 d0ad4b0f-3458-4ac9-989b-0bfccd4148bd · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.721838Z

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 a0f6f57d-3729-4126-a65c-a510e7ecf09b · outbound

This paper cites By the assumption and (3), we have (Ji+1(v1),Ji+1(v2)) = ( Ji+1(q1),Ji+1(v2)) ∈ C.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality By the assumption and (3), we have (Ji+1(v1),Ji+1(v2)) = ( Ji+1(q1),Ji+1(v2)) ∈ C

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.712747Z

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 f7a26517-d9fb-480a-83a9-cd997cc81c05 · outbound

This paper cites Observe that v1, v2 are of shape (C,OD,OD) and hence by the claim above we have (J2n+1(v1),J 2n+1(v2)) ∈ C.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Observe that v1, v2 are of shape (C,OD,OD) and hence by the claim above we have (J2n+1(v1),J 2n+1(v2)) ∈ C

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.702993Z

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 b81857c5-c2c6-4d55-9674-9073241467bb · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.693294Z

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 db1b6608-f823-4902-9365-7291dd42c832 · outbound

This paper cites By (6) we have that (J2n+1(q1),J 2n+1(v2)) = (J2n+1(v1),J 2n+1(v2)) ∈C.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality By (6) we have that (J2n+1(q1),J 2n+1(v2)) = (J2n+1(v1),J 2n+1(v2)) ∈C

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.683508Z

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 20f85087-1c09-488f-8bf8-000da8d6de89 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 57

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.673704Z

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 60c2860e-13f1-4577-ba96-2e69c6b72a77 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 58

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.664543Z

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 81965fde-e0a6-42fe-a6db-2ee0a5a52631 · outbound

This paper cites Since (ρA) contains an O1OD-mapping, we may ﬁnd the appropriate w1.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Since (ρA) contains an O1OD-mapping, we may ﬁnd the appropriate w1

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.654416Z

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 391c519d-a61b-4fc9-836e-893d85718a6c · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 60

Resolution: parse uncertain; raw_fallback, observed 2026-08-09T13:32:13.644460Z

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 33e4b51a-650c-482f-b67b-249691898f3f · outbound

This paper cites Now, if OD is =, then we just set w1 3 = w3.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Now, if OD is =, then we just set w1 3 = w3

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.634488Z

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 b36991d7-d06c-4826-a5b6-d50444f139a1 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 62

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.624345Z

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 879f9ef3-0b33-4e7c-ac56-243edf52c562 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 63

Resolution: parse uncertain; raw_fallback, observed 2026-08-09T13:32:13.614211Z

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 467f0c3a-da63-4825-aa03-a90ba57d590b · outbound

This paper cites The vectors w1, w3 are of shape (O1,O 1,OD), and hence (J1(w1),J 1(w3)) ∈ C.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The vectors w1, w3 are of shape (O1,O 1,OD), and hence (J1(w1),J 1(w3)) ∈ C

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.605073Z

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 e0bfd846-e760-4a4f-95da-5ae732c359a3 · outbound

This paper cites Let q3 = (w3 1,a 3,w 2 3).

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Let q3 = (w3 1,a 3,w 2 3)

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.595654Z

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 68ff1970-6afa-4758-a39e-cabfdb5f6121 · outbound

This paper cites Since ρB contains a ODO2-mapping, we may ﬁnd the appropriate w1.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Since ρB contains a ODO2-mapping, we may ﬁnd the appropriate w1

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.586060Z

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 80bdea5e-8aaa-4a8f-8c83-33751f711855 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 67

Resolution: parse uncertain; raw_fallback, observed 2026-08-09T13:32:13.575027Z

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 f8b4550a-f62b-4b9f-a4d5-780dec68e6d6 · outbound

This paper cites Finally, by 1-transitivity of B and the assumption that every O2O2- mapping is in φB we have w1 1 satisfying (w1 1,w 2.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Finally, by 1-transitivity of B and the assumption that every O2O2- mapping is in φB we have w1 1 satisfying (w1 1,w 2

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.563315Z

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 361cf288-fdeb-4782-8f01-af1746d58661 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 69

Resolution: parse uncertain; raw_fallback, observed 2026-08-09T13:32:13.552140Z

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 49088b4f-c406-42b6-a407-2a81020f9f01 · outbound

This paper cites Notice that (Ji(w1),Ji(w2)) ∈ C.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Notice that (Ji(w1),Ji(w2)) ∈ C

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.445519Z

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 6564c362-1d30-441b-a884-bf9388979eed · outbound

This paper cites Let q3 = (w3 1,a 3,w 2 3).

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Let q3 = (w3 1,a 3,w 2 3)

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.435656Z

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 aa113e6b-b639-4068-9aa7-c3bb83a972fa · outbound

This paper cites The required w1 2 = w1 3 exists by the fact that ρA contains all ODOD-mappings.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality The required w1 2 = w1 3 exists by the fact that ρA contains all ODOD-mappings

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.425529Z

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 0d2cfb92-b296-4662-8b38-c83a86219dfe · outbound

This paper cites By (6) we have that (J2n+1(w1),J 2n+1(q3)) ∈ C where q3 = ( a3,w 3 2,w 3 3).

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality By (6) we have that (J2n+1(w1),J 2n+1(q3)) ∈ C where q3 = ( a3,w 3 2,w 3 3)

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.417024Z

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 b8f74953-0140-43e1-92c7-c89e2632b203 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.407880Z

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 1e110e8c-32f4-4466-9ee1-f9c6bff206d2 · outbound

This paper cites By Lemma 31, we have that the above two properties hold also for ρ′ where S1,S 2 are replaced by C′.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality By Lemma 31, we have that the above two properties hold also for ρ′ where S1,S 2 are replaced by C′

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.398532Z

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 184410ef-da29-4468-bec4-ff9345d6d92f · outbound

This paper cites Indeed, if both f (x1,x 3) ∈ P1 and f (x2,x 3) ∈ P2 with both P1 and P2 injective, then we proceed as in the proof of Lemma 39 for P1,P 2 both contained in C or both contained in D.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Indeed, if both f (x1,x 3) ∈ P1 and f (x2,x 3) ∈ P2 with both P1 and P2 injective, then we proceed as in the proof of Lemma 39 for P1,P 2 both contained in C or both contained in D

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.388324Z

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 5c82b150-b11f-40e5-9c60-7f46992e179f · outbound

This paper cites We now claim that G(x,y ) ≡ ∃z ρ′′(x,z,y ) ∧ρ′′(z,x,y ) contains exactly these orbitals that are involved in some strongly connected component of Bρ′′.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality We now claim that G(x,y ) ≡ ∃z ρ′′(x,z,y ) ∧ρ′′(z,x,y ) contains exactly these orbitals that are involved in some strongly connected component of Bρ′′

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.377408Z

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 10619d2f-0ed1-46c9-ba4b-0a848d98fa90 · outbound

This paper cites an unresolved cited work.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Unresolved cited work

Reference 78

Resolution: unresolved; raw_fallback, observed 2026-08-09T13:32:13.365236Z

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 ec7e02d1-1c51-4834-8d38-a2d6ff8d4ec4 · outbound

This paper cites It will offer us an opportunity to use Lemmas 46 and 47, and therefore to complete the proof of the lemma.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality It will offer us an opportunity to use Lemmas 46 and 47, and therefore to complete the proof of the lemma

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-09T13:32:13.354728Z

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 9aff8def-f4d7-4bf3-ac5f-cf92ea57ec07 · outbound

This paper cites Available: https://doi.org/10.1145/353 1130.3533353.

New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality Available: https://doi.org/10.1145/353 1130.3533353

Reference 2022

Resolution: malformed identifier; arxiv_id_nonexistent, observed 2026-08-09T13:32:10.362731Z

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

Observation be8cd17e-b7b6-475a-a11a-c4e7f6f03357 · inbound

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard cites this paper.

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard New Sufficient Algebraic Conditions for Local Consistency over Homogeneous Structures of Finite Duality

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-16T10:00:49.666587Z

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 4d9ebd3c-86e9-4fb7-84c7-a95bee341969 · inbound

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard cites this paper.

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-15T15:56:48.170515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.