@article{7225110,
    Author = {{Vizel}, Y. and {Weissenbacher}, G. and {Malik}, S.},
    File = {Boolean Satisfiability Solvers and Their Applications in Model Checking - vizel2015 - a - a - g.pdf},
    ISSN = {0018-9219},
    Journal = {Proceedings of the IEEE},
    Keywords = {Boolean functions;computability;formal verification;interpolation;Boolean satisfiability solvers;Boolean formula;computer science;electronic design automation;EDA community;branching heuristics;SAT solvers;hardware designs;automated verification techniques;proof based abstraction;bounded model checking;interpolation based model checking;Model checking;Boolean functions;Data structures;Context modeling;Algorithm design and analysis;Automatic test pattern generation;Computer science;IC3;interpolation;model checking;proofs;satisfiability solving;IC3;interpolation;model checking;proofs;satisfiability solving},
    Month = {Nov},
    Number = {11},
    Pages = {2021-2035},
    Title = {Boolean Satisfiability Solvers and Their Applications in Model Checking},
    Volume = {103},
    Year = {2015},
    bdsk-url-1 = {https://doi.org/10.1109/JPROC.2015.2455034},
    date-added = {2019-08-20 15:16:57 +0200},
    date-modified = {2019-08-20 15:16:57 +0200},
    doi = {10.1109/JPROC.2015.2455034}
}

@article{7225110, Author = {{Vizel}, Y. and {Weissenbacher}, G. and {Malik}, S.}, File = {Boolean Satisfiability Solvers and Their Applications in Model Checking - vizel2015 - a - a - g.pdf}, ISSN = {0018-9219}, Journal = {Proceedings of the IEEE}, Keywords = {Boolean functions;computability;formal verification;interpolation;Boolean satisfiability solvers;Boolean formula;computer science;electronic design automation;EDA community;branching heuristics;SAT solvers;hardware designs;automated verification techniques;proof based abstraction;bounded model checking;interpolation based model checking;Model checking;Boolean functions;Data structures;Context modeling;Algorithm design and analysis;Automatic test pattern generation;Computer science;IC3;interpolation;model checking;proofs;satisfiability solving;IC3;interpolation;model checking;proofs;satisfiability solving}, Month = {Nov}, Number = {11}, Pages = {2021-2035}, Title = {Boolean Satisfiability Solvers and Their Applications in Model Checking}, Volume = {103}, Year = {2015}, bdsk-url-1 = {https://doi.org/10.1109/JPROC.2015.2455034}, date-added = {2019-08-20 15:16:57 +0200}, date-modified = {2019-08-20 15:16:57 +0200}, doi = {10.1109/JPROC.2015.2455034} }