Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation)
-
Autor:
Markus Iser, Mana Taghdiri, Carsten Sinz
-
Quelle:
In Proc. of SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012.