@Article{Bie08,
    Author       = "Biere, A.",
    Year         = "2008",
    Title        = "{PicoSAT Essentials}",
    Journal      = "Journal on Satisfiability, Boolean Modeling and
                    Computation",
    Volume       = "4",
    Pages        = "75-97",
    Comment      = ""
}