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

Exact Logarithmic Piecewise Model

technology1 mentionslast seen Oct 23, 2026

An exact, sound, and complete formulation for robustness verification with logarithmic encoding of binary variables.

Relationships 3

Exact Logarithmic Piecewise Model

Relationship

Exact Logarithmic Piecewise Modeldepends onlogarithmic SOS2

90% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1