@inproceedings{
    TACAS13,
    author = "Wieringa, Siert and Heljanko, Keijo",
    responsibleauthor = "Wieringa, Siert",
    isbn = "978-3-642-36741-0",
    language = "eng",
    title = "Asynchronous Multi-core Incremental {SAT} Solving",
    series = "Lecture Notes in Computer Science",
    booktitle = "TACAS",
    corerank = "A",
    country = "Germany",
    volume = "7795",
    pages = "139-153",
    flags = "DC,HIIT",
    il = "no",
    eventdetails = "March 16-24, Rome, Italy",
    year = "2013",
    unitcode = "T312-1, T306-99",
    kay = "NA",
    impactfactor = "A4",
    juforank = "1"
}