Theory and applications of satisfiab...
Le Berre, Daniel.

 

  • Theory and applications of satisfiability testing - SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Theory and applications of satisfiability testing - SAT 2016/ edited by Nadia Creignou, Daniel Le Berre.
    Reminder of title: 19th International Conference, Bordeaux, France, July 5-8, 2016 : proceedings /
    remainder title: SAT 2016
    other author: Creignou, Nadia.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2016.,
    Description: xxiv, 564 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer algorithms - Congresses. -
    Online resource: http://dx.doi.org/10.1007/978-3-319-40970-2
    ISBN: 9783319409702
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login