Search Results

  • Computing Shortest Resolution Proofs [2019]

    Category:
    Ponencias
    Authors:
    Carlos Mencía Cascallana , J. Marques Silva
    Date:
    01 of January of 2019
    It Is a Part of:
    EPIA: EPIA Conference on Artificial Intelligence. Progress in Artificial Intelligence