Wombit: a portfolio bit-vector solver using word-level propagation (Q2323450)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Wombit: a portfolio bit-vector solver using word-level propagation
scientific article

    Statements

    Wombit: a portfolio bit-vector solver using word-level propagation (English)
    0 references
    0 references
    0 references
    0 references
    2 September 2019
    0 references
    0 references
    bit-vector solver
    0 references
    bit-blasting
    0 references
    constraint propagation
    0 references
    word-level reasoning
    0 references
    machine learning
    0 references
    portfolio solvers
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references