Premise set caching for enumerating minimal correction subsets

  1. Previti, A.
  2. Järvisalo, M.
  3. Mencía, C.
  4. Marques-Silva, J.
Actes de conférence:
32nd AAAI Conference on Artificial Intelligence, AAAI 2018

ISBN: 9781577358008

Année de publication: 2018

Pages: 6633-6640

Type: Communication dans un congrès