ASP-HS: An answer set optimizer based on the implicit hitting set paradigm

Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo

Research output: Non-textual formSoftwareScientific

Original languageEnglish
Publication statusPublished - 2018
MoE publication typeI2 ICT software

Fields of Science

  • 113 Computer and information sciences

Projects

Cite this