Premise set caching for enumerating minimal correction subsets
- Previti, A.
- Järvisalo, M.
- Mencía, C.
- Marques-Silva, J.
Aktak:
32nd AAAI Conference on Artificial Intelligence, AAAI 2018
ISBN: 9781577358008
Argitalpen urtea: 2018
Orrialdeak: 6633-6640
Mota: Biltzar ekarpena