Login / Signup

Smallest MUS Extraction with Minimal Hitting Set Dualization.

Alexey IgnatievAlessandro PrevitiMark H. LiffitonJoão Marques-Silva
Published in: CP (2015)
Keyphrases