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

MAX-SAT

technology1 mentionslast seen Nov 13, 2026

A Boolean polynomial optimization problem including MAX-k-SAT variants.

Relationships 1

MAX-SAT

Relationship

learning-augmented smooth integer programapplies toMAX-SAT

92% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1