Skip to content
STIMSMITH

Boolean CNF Formula

Concept
First seen 7/17/2026
Last seen 7/17/2026
Evidence 7 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections
UniGen ← uses 100% 2e
UniGen takes a Boolean CNF formula as its primary input.
constrained random verification ← uses 85% 2e
CRV uses Boolean constraints (typically encoded as CNF) to generate test vectors.
Independent Support ← part of 90% 2e
An independent support is a subset of variables of a Boolean CNF formula.
sharpSAT ← evaluates 90% 1e
sharpSAT is used as an exact model counter to determine |RF| for a CNF formula.
XOR-based Hash Partitioning ← uses 90% 1e
XOR-based hash partitioning is applied to partitioning the solution space of Boolean CNF formulas.