SC-square: when Satisfiability Checking and Symbolic Computation join forces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler. SC-square: when Satisfiability Checking and Symbolic Computation join forces. In Giles Reger, Dmitriy Traytel, editors, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. Volume 51 of EPiC Series in Computing, pages 6-10, EasyChair, 2017. [doi]

This author has not been identified. Look up 'Erika Ábrahám' in GoogleThis author has not been identified. Look up 'John Abbott' in GoogleThis author has not been identified. Look up 'Bernd Becker 0001' in GoogleThis author has not been identified. Look up 'Anna Maria Bigatti' in GoogleThis author has not been identified. Look up 'Martin Brain' in GoogleThis author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'James H. Davenport' in GoogleThis author has not been identified. Look up 'Matthew England' in GoogleThis author has not been identified. Look up 'Pascal Fontaine' in GoogleThis author has not been identified. Look up 'Stephen Forrest' in GoogleThis author has not been identified. Look up 'Vijay Ganesh' in GoogleThis author has not been identified. Look up 'Alberto Griggio' in GoogleThis author has not been identified. Look up 'Daniel Kroening' in GoogleThis author has not been identified. Look up 'Werner M. Seiler' in Google

runs on WebDSL