Fahiem Bacchus – författare

Visar alla böcker från författaren Fahiem Bacchus. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   Theory and Applications of Satisfiability Testing

   8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

   Av Fahiem Bacchus, Toby Walsh

   Häftad, 2005

   552 kr

   Lägg i varukorg

   The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It …

2. 

   Theory and Applications of Satisfiability Testing

   8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

   Av Toby Walsh, Fahiem Bacchus

   E-bok, 2005

   734 kr

   Lägg i varukorg

   The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)providedaninternationalforumforthemostrecentresearch on the satis?ablity problem (SAT). SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It …