Skip to content
STIMSMITH

RefineBound procedure

Technique
First seen 7/7/2026
Last seen 7/7/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
overlapping constraint set uses → 100% 2e
RefineBound uses the overlapping constraint set of chosen strips to refine bounds of other variables.
Hardware accelerated constrained random test generation ← introduces 100% 1e
The RefineBound procedure is introduced for refining variable bounds after each variable assignment.
bound refinement implements → 100% 1e
RefineBound implements the bound refinement concept to update variable bounds after assignments.