The Potential and Challenges of CAD with Equational Constraints for SC-Square.

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: James H. Davenport, Matthew England

Journal title: n: Blomer J., Kotsireas I., Kutsia T., Simos D. (eds) Mathematical Aspects of Computer and Information Sciences (Proc. MACIS '17), pp. 280-285. (Lecture Notes in Computer Science 10693). Springer International, 2017.

Journal number: 10693

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 280-285

DOI identifier: 10.1007/978-3-319-72453-9_22