Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
- Author
- Matti Jarvisalo, Allen Van Gelder
- Publisher
- Springer
- Language
- English
- Edition
- 2013
- Year
- 2013
- Page
- 437
- ISBN
- 3642390706,9783642390708
- File Type
- pdf
- File Size
- 4.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot