Total Projects: 1

  • iExplain - iExplain - Reasoning About Unsatisfiability
    INESC-ID Lisboa, FCT, , 2010-04-01 - 2013-03-31