External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Enumeration of Minimal Models and MUSes in WASP

Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca. Enumeration of Minimal Models and MUSes in WASP. In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Volume 13416 of Lecture Notes in Computer Science, pages 29-42, Springer, 2022. [doi]

Authors

Mario Alviano

This author has not been identified. Look up 'Mario Alviano' in Google

Carmine Dodaro

This author has not been identified. Look up 'Carmine Dodaro' in Google

Salvatore Fiorentino

This author has not been identified. Look up 'Salvatore Fiorentino' in Google

Alessandro Previti

This author has not been identified. Look up 'Alessandro Previti' in Google

Francesco Ricca

This author has not been identified. Look up 'Francesco Ricca' in Google
runs on