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 applications

First Page		Document Content
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 applications Add to Reading List Source URL: www.georg.weissenbacher.science Download Document from Source Website File Size: 598,25 KB Share Document on Facebook