Boolean satisfiability solvers and their applications in model checking

Author

Yakir Vizel, Georg Weissenbacher, Sharad Malik

Publication Year

2015

Type

Journal Article

Journal

Proceedings of the IEEE

Volume

103

Issue

11

Pages

2021–2035