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

Ashlin Iser, Mana Taghdiri, Carsten Sinz

Browse the full SAT paper archive.