Theory and Applications of Satisfiability Testing (SAT 2007)
Marques-Silva, Joao and Sakallah, Karem (eds.) (2007) Theory and Applications of Satisfiability Testing (SAT 2007), Springer (LNCS, 4501).
Download
Full text not available from this repository.
| Item Type: | Book |
|---|---|
| ISBNs: | 9783540727873 |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 264025 |
| Date Deposited: | 17 May 2007 |
| Last Modified: | 02 Mar 2012 11:40 |
| Contributors: | Marques-Silva, Joao (Editor) Sakallah, Karem (Editor) |
| Date: | May 2007 |
| Status: | Published |
| Publisher: | Springer |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/264025 |
Actions (login required)
 |
View Item |
