Industrial and Intellectual Property

  • Improving MCS enumeration via caching [2017]

    Category:
    Ponencias
    Authors:
    J. Marques-Silva , M. Järvisalo , Carlos Mencía Cascallana , A. Previti
    Date:
    01 of January of 2017
    It Is a Part of:
    Theory and Applications of Satisfiability Testing – SAT 2017