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 THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 10491, Pages: 195-211 (17)

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