4 found
  1.  17
    Fahiem Bacchus, Henry E. Kyburg Jr & Mariam Thalos (1990). Against Conditionalization. Synthese 85 (3):475 - 506.
  2.  1
    Fahiem Bacchus (1999). Review: Anil Nerode, Richard A. Shore, Logic for Applications. [REVIEW] Journal of Symbolic Logic 64 (1):404-405.
  3. Fahiem Bacchus (1999). Nerode Anil and Shore Richard A.. Logic for Applications. Texts and Monographs in Computer Science. Springer-Verlag, New York, Berlin, Heidelberg, Etc., 1993, Xvii + 365 Pp. [REVIEW] Journal of Symbolic Logic 64 (1):404-405.
    Direct download (2 more)  
    Export citation  
    My bibliography  
  4.  12
    Fahiem Bacchus & Toby Walsh (eds.) (2005). Theory and Applications of Satisfiability Testing: 8th International Conference, Sat 2005, St Andrews, Uk, June 19-23, 2005: Proceedings. [REVIEW] Springer.
    This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005. The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem (...)
    Direct download  
    Export citation  
    My bibliography