Summary
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: Abbott, JOHN ANTHONY; Bigatti, ANNA MARIA
Journal title: In: E.Ábrahám, J. H. Davenport, P. Fontaine eds.: Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation (SC2 2016)
Journal number: 1804
Journal publisher: CEUR
Published year: 2016
Published pages: 1--3