Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod - (Poster Presentation)

  • Autor:

    , Mana Taghdiri, 
  • Quelle:

    In Proc. of SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012.