Patents/Inventors

Shiho Hirakawa

TokyoJP1 patent

1 Patent

US125794512026
Minimal Unsatisfiable Set Detection Apparatus, Minimal Unsatisfiable Set Detection Method, and Computer-readable Recording Medium
NEC CORPORATION
0 cites