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

 

  • Theory and Applications of Satisfiability Testing – SAT 2018 = 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Theory and Applications of Satisfiability Testing – SAT 2018/ edited by Olaf Beyersdorff, Christoph M. Wintersteiger.
    Reminder of title: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings /
    other author: Beyersdorff, Olaf.
    Description: XIX, 452 p. 73 illus.online resource. :
    Contained By: Springer Nature eBook
    Subject: Computers. -
    Online resource: https://doi.org/10.1007/978-3-319-94144-8
    ISBN: 9783319941448
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login