Enumeration of Minimal Models and MUSes in WASP.

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca

Browse the full LPNMR paper archive.