@techreport {FrancoMarekWeaver08,
   AUTHOR = {Franco, J., Marek, V., Weaver, S.},
    TITLE = {Workshop on Satisfiability: Assessing the Progress},
INSTITUTION = {U.S.\ Department of Defense},
     YEAR = {2008},
   NUMBER = {},
}