Integer Programming

Technique

First seen 9/10/2026

Last seen 9/10/2026

Evidence 1 chunks

NEIGHBORHOOD

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

2 connections

ReFuzz ← uses 100% 1e

ReFuzz uses integer programming to solve the test minimization optimization problem.

Test Minimization ← uses 100% 1e

Test minimization in ReFuzz is formulated and solved using integer programming.