Suites Ansotegui Ayari Basler Biere Castellini Egly-Seidl-Tompits-Woltran-Zolda Faber-Leone-Maratea-Ricca Gent-Rowley Herbstritt Interian Katz Lahiri-Seshia Letombe Letz Ling Mangassarian-Veneris Messinger Mneimneh-Sakallah Narizzano Palacios Pan QBF_1.0 Rintanen SAT_competiiton_2005 Scholl-Becker Seidl Tacchella Wintersteiger

Domains Chen-Interian Formal Verification Miscellanea Model A Model B NestedCounterFactual Planning qHorn