Skip to content
STIMSMITH

Integer Linear Programming (ILP) for Custom Instruction Synthesis

Technique
First seen 8/2/2026
Last seen 8/2/2026
Evidence 7 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

6 connections
Maximal Convex Subgraph Enumeration compares with → 100% 2e
ILP and enumeration are compared as complementary solution techniques
FISH (Fast Instruction SyntHesis) ← uses 100% 1e
FISH uses ILP as a complementary technique for identifying custom instruction candidates
Data Flow Graph (DFG) uses → 100% 1e
ILP efficiently handles DFGs for custom instruction synthesis
CPLEX ILP Solver uses → 95% 1e
ILP for custom instruction synthesis uses CPLEX as a solver
Merit Function for Subgraph Evaluation uses → 90% 1e
ILP integrates linearly expressed merit functions
Convex Subgraph uses → 90% 1e
ILP evaluates maximal convex subgraphs