@book { AfasterapproximationschemeforkSAT,
    title = "A faster approximation scheme for #k-SAT",
    author = "Bastian {Rückel}",
    year = "2014",
    publisher = "Diplom.de",
    address = "Hamburg, Deutschland",
    url = "https://m.diplom.de/document/282383"
}