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

Filter
Finished

Search results