![](https://www.pdfsearch.io/img/9ee99a3331e982cd0d013d59133adc85.jpg) Date: 2016-08-04 10:46:26
| | SC2 : Satisfiability Checking meets Symbolic Computation: www.sc-square.org James Davenport Hebron & Medlock Professor of Information Technology1 University of Bath (U.K.)Add to Reading ListSource URL: staff.bath.ac.ukDownload Document from Source Website File Size: 152,49 KBShare Document on Facebook
|