Skip to content
STIMSMITH

ASP encoding for optimal strength-2 CMCA finding

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 Mixed Covering Array implements → 100% 1e
The encoding finds optimal CMCAs by minimizing the number of rows.
Answer Set Programming uses → 100% 1e
The encoding is written in ASP.
catnap ← part of 85% 1e
The optimal CMCA finding encoding is part of catnap's encoding suite.