Your search returned 2 results.

Results
	1.	Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh. by Bacchus, Fahiem Walsh, Toby SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 3569 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Add to cart (remove)
	2.	SAT 2005 [electronic resource] : Satisfiability Research in the Year 2005 / edited by Enrico Giunchiglia, Toby Walsh. by Giunchiglia, Enrico Walsh, Toby SpringerLink (Online service) Edition: 1a ed. Material type: Computer file; Format: electronic Publication details: Dordrecht : Springer, 2006 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.9.A43 G58 2006. Place hold Add to cart (remove)

Refine your search