Anytime answer set optimization via unsatisfiable core shrinking

ALVIANO, Mario;DODARO C.
2016-01-01

File in questo prodotto:
File Dimensione Formato  
1608.00731.pdf

accesso aperto

Descrizione: Accepted for publication in Theory and Practice of Logic Programming , Volume 16 , Special Issue 5-6: 32nd International Conference on Logic Programming , September 2016 , pp. 533 - 551. Publisher version available at https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/anytime-answer-set-optimization-via-unsatisfiable-core-shrinking/55F4305D2BAAD203E8177F3955C9DEEA; DOI: https://doi.org/10.1017/S147106841600020X. All Rights Reserved. Source: Cambridge University Press
Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 209.13 kB
Formato Adobe PDF
209.13 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/132985
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 51
  • ???jsp.display-item.citation.isi??? 34
social impact