Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings (Lecture Notes in Computer Science)
Die Proceedings der SAT‑2016-Konferenz aus Bordeaux bieten einen tiefen Einblick in aktuelle Erfüllbarkeitsalgorithmen, zeigen neue Optimierungsans ...