Theory and Applications of Satisfiab...
SpringerLink (Online service)

 

  • Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Theory and Applications of Satisfiability Testing/ edited by Fahiem Bacchus, Toby Walsh.
    Reminder of title: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
    other author: Bacchus, Fahiem.
    corporate name: SAT 2005
    Published: Berlin Heidelberg :Springer-Verlag GmbH., : 2005.,
    Description: xii, 492 p. :ill., digital ; : 24 cm.;
    Series: Lecture Notes in Computer Science,
    Contained By: Springer e-books
    Subject: Propositional calculus - Congresses. -
    Online resource: http://dx.doi.org/10.1007/b137280
    ISBN: 9783540316794 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login