Publications

Introducing Pareto Minimal Correction Subsets

AuthID
P-00N-02A

Author(s)

Terra Neves, M

Lynce, I

Manquinho, V

Editor(s)

Gaspers,S;Walsh,T

Document Type

Proceedings Paper

Year published

2017

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 10491 LNCS, Pages: 195-211

Conference

20Th International Conference on Theory and Applications of Satisfiability Testing, Sat 2017, Date: 28 August 2017 through 1 September 2017, Sponsors: Association for Constraint Programming;Association for Logic Programming;CSIRO Data61;et al;Monash University;University of Melbourne

Indexing