![](https://www.pdfsearch.io/img/a8c331e9054f110bbff0d2ccdfc72a10.jpg) Date: 2012-02-28 17:50:50
| | Boolean Satisfiability Solvers: Techniques and Extensions Georg WEISSENBACHER a and Sharad MALIK a a Princeton University Abstract. Contemporary satisfiability solvers are the corner-stone of many successful applicationsAdd to Reading ListSource URL: www.georg.weissenbacher.scienceDownload Document from Source Website File Size: 598,25 KBShare Document on Facebook
|