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

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

Forskningsoutput: Icke-textbaserad outputProgramvaraVetenskaplig

Originalspråkengelska
StatusPublicerad - 2018
MoE-publikationstypI2 ICT-programvara

Vetenskapsgrenar

  • 113 Data- och informationsvetenskap

Projekt

Citera det här