tera.ai

Knowledge Graph

Graph explorer

Search resolved entities, walk their edges, and read the sentence behind every one.

Entities25 of 207,987

All entities

Entity

core detection

technology1 mentionslast seen Oct 6, 2026

Procedure for identifying key contributors to a problem's hardness in SAT problems.

Relationships 2

core detection

Relationship

core detectionapplies toSAT solver optimization

75% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1