Published on BSC-CNS (https://www.bsc.es)

Inicio > Core-Guided Minimal Correction Set and Core Enumeration

Core-Guided Minimal Correction Set and Core Enumeration

URL:  https://www.ijcai.org/proceedings/2018

Authors: Narodytska, Nina / Bjørner, Nikolaj / Marinescu, Maria-Cristina / Sagiv, Mooly

Publication: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18

Pagination: 1353 - 1361

Barcelona Supercomputing Center - Centro Nacional de Supercomputación
Source URL (retrieved on 18 Dic 2024 - 17:02): https://www.bsc.es/es/research-and-development/publications/core-guided-minimal-correction-set-and-core-enumeration