CDCL: Spezifikation

conflict driven clause learning



2014-03-31