Publications in collaboration with researchers from University of Helsinki (2)

2018

  1. Premise set caching for enumerating minimal correction subsets

    32nd AAAI Conference on Artificial Intelligence, AAAI 2018

2017

  1. Improving MCS enumeration via caching

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)