Refine your search

Your search returned 4 results. Subscribe to this search

|
1. Theory and Applications of Satisfiability Testing (vol. # 3569) [Recurso electrónico] / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

Log in to add tags. Add to cart
2. Theory and Applications of Satisfiability Testing (vol. # 3542) [Recurso electrónico] / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers edited by Holger H. Hoos, David G. Mitchell. by Hoos, Holger H. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2005 Availability: No items available:

3. Theory and Applications of Satisfiability Testing - SAT 2006 [Recurso electrónico] / 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings edited by Armin Biere, Carla P. Gomes. by Biere, Armin. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2006 Availability: No items available:

4. Theory and Applications of Satisfiability Testing - SAT 2007 [Recurso electrónico] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings edited by Joao Marques-Silva, Karem A. Sakallah. by Marques-Silva, Joao. Material type Archivo de ordenador; Format: electrónico Publication: Berlin Heidelberg : Springer-Verlag GmbH., 2007 Availability: No items available:

Powered by Koha