Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (Q113544098)
Jump to navigation
Jump to search
Proceedings of SC-Square 2016 workshop
Language | Label | Description | Also known as |
---|---|---|---|
English | Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation |
Proceedings of SC-Square 2016 workshop |
Statements
SC-Square 2016 (English)
0 references
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (English)
0 references
2 March 2017
0 references