Skip to content
STIMSMITH

Min-Conflict Solver

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

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
RISCV-CTG ← uses 95% 2e
RISCV-CTG supports the Min-Conflict solver for CSP solving.
RISCV-CTG ← evaluates 90% 1e
RISCV-CTG experimentally evaluates Min-Conflict solver performance.