HIRAKAWA SHIHO

Minimal unsatisfiable set detection apparatus, minimal unsatisfiable set detection method, and computer-readable recording medium