BibTex

@InProceedings{iser-taghdiri-sinz-sat2012,

    author    = {Markus Iser and Mana Taghdiri and Carsten Sinz},

    title     = {Optimizing MiniSAT Variable Orderings for the Relational Model Finder Kodkod

                (Poster Presentation)},

    booktitle = {15th International Conference on Theory and Applications of Satisfiability Testing (SAT)},

    pages     = {483-484},

    year      = {2012},

    month     = {Jun.}

}-