Boolean Satisfiability Solvers and Their Applications in Model Checking

    Proceedings of the IEEE, Volume 103, Issue 11, 2015.

    Cited by: 46|Bibtex|Views2|Links
    EI

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments