Skip to content
STIMSMITH

Constraint Hierarchy

Concept

A constraint hierarchy is a multi-tier prioritization scheme for soft constraints. In the cited constraint-based random stimuli-generation setting, expert knowledge is represented as soft constraints and organized by perceived importance, but this can conflict with the goal of generating diverse, approximately uniformly distributed solutions.

First seen 5/26/2026
Last seen 5/26/2026
Evidence 1 chunks
Wiki v1

WIKI

Definition

A constraint hierarchy is a scheme in which soft constraints are organized into multiple priority tiers according to their perceived importance in a particular verification scenario. In the cited stimuli-generation context, expert knowledge is entered as soft constraints and may be applied in such a multi-tiered hierarchy, identified in the source as a Borning hierarchy. [1]

Role in CSP-based stimuli generation

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
Genesys PE ← uses 100% 1e
Genesys PE applies expert knowledge constraints in a hierarchical manner.
Constraint Satisfaction Problem part of → 100% 1e
Constraint hierarchies are used within the CSP framework to prioritize soft constraints.
Soft Constraints part of → 90% 1e
Soft constraints are organized in a constraint hierarchy to prioritize their application.

LINKED ENTITIES

3 links
Constraint Satisfaction Problem used_with The evidence frames constraint hierarchy within CSP and Soft-CSP solving for stimuli generation.
Soft-CSP prioritizes_constraints_in The evidence states that expert knowledge is entered as soft constraints and that a generic Soft-CSP algorithm can take prioritization into account.
Random Solution Sampling can_conflict_with The evidence says the constraint hierarchy scheme competes with the requirement for uniformly distributed solutions.

CITATIONS

6 sources
6 citations — click to expand
[1] constraint-hierarchy [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[2] csp-soft-priorities [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[3] depth-and-scale [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[4] random-sampling [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[5] hierarchy-random-conflict [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[6] local-metric [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI