Home | Legals | Sitemap | KIT

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

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

Markus Iser, Mana Taghdiri, Carsten Sinz

links:
Place:

15th International Conference on Theory and Applications of Satisfiability Testing (SAT), 2012

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.}
}-