Skip to content
STIMSMITH

ASP encoding for strength-2 CCT solving with weak coverage constraints

CodeArtifact
First seen 7/7/2026
Last seen 7/7/2026
Evidence 1 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
Constrained Combinatorial Testing implements → 100% 1e
The encoding solves CCT with weakened coverage constraints for limiting resources.
Soft Constraints implements → 90% 1e
The encoding weakens coverage constraints to soft constraints.
multi-criteria optimization uses → 90% 1e
The encoding uses two optimization criteria: minimality of size and maximality of coverage.