Tallenna
Theory and Applications of Satisfiability Testing - SAT 2013
The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).
- Alaotsikko
- 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
- Toimittaja
- Matti Jarvisalo, Allen Van Gelder
- Painos
- 2013 ed.
- ISBN
- 9783642390708
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.7.2013
- Sivumäärä
- 437
