Skip to content
STIMSMITH

Contradiction Analysis

Technique
First seen 7/13/2026
Last seen 7/13/2026
Evidence 12 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
Minimal Unsatisfiable Subformula implements → 90% 2e
The contradiction analysis finds all minimal reasons for contradictions, which corresponds to computing minimal unsatisfiable subformulas.
Binary Decision Diagrams uses → 98% 2e
The contradiction analysis approach is BDD-driven, using BDDs to represent and manipulate constraints.
Existential Quantification uses → 97% 2e
The contradiction analysis uses existential quantification to abstract constraint variables.
Contradiction Analysis for Constraint-based Random Simulation ← introduces 100% 2e
The paper introduces the first non-trivial algorithm for contradiction analysis in constraint-based random simulation.
ContradictionAnalysis Algorithm ← implements 99% 2e
The ContradictionAnalysis Algorithm is the concrete implementation of the contradiction analysis technique.
Constraint-based Random Simulation ← uses 97% 2e
Contradiction analysis is applied within constraint-based random simulation to debug over-constrained scenarios.
Unsat Core Computation compares with → 85% 1e
The paper compares the contradiction analysis problem with unsat core computation in SAT.