SC-Square 2018 Satisfiability Checking and Symbolic Computation Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Anna M. Bigatti, Martin Brain

Journal number: 2189

Journal publisher: CEUR

Published year: 2018