Theory and Applications of Satisfiability Testing â€" SAT 2013
| Other Authors: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Springer Berlin Heidelberg,
2013
|
| Edition: | 1 |
| Subjects: | |
| Online Access: | Full text available on Springer Off-campus access |
| Published: | Vol. 7962 |
|---|---|
| Item Description: | <strong>Off-Campus Access:</strong> Athens ID and Password Required <strong>On-Campus Access:</strong> No User ID or Password Required |
| Physical Description: | 1 online resource |
| Format: | Mode of access: Internet |
| ISBN: | 978-3-642-39070-8 978-3-642-39071-5 |
| Access: | Electronic access restricted to authorized BRAC University faculty, staff and students |