Вы здесь

Главная

sat solving

Связанные издания:

Graph Structures for Knowledge Representation and Reasoning: Revised Selected Papers/5th International Workshop, GKR 2017, Melbourne, Australia, August 2017
Hardware and Software: Verification and Testing: Proc./13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 2017
NASA Formal Methods: Proc./11th International Symposium, NFM 2019, Houston,TX,USA, May 2019
Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory
Tools and Algorithms for the Construction and Analysis of Systems, Part II: Proc./25th International Conference, TACAS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019