Satisfiability checking and symbolic computation

Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001. Satisfiability checking and symbolic computation. ACM Comm. Computer Algebra, 50(4):145-147, 2016. [doi]

Authors

Erika Ábrahám

This author has not been identified. Look up 'Erika Ábrahám' in Google

John Abbott

This author has not been identified. Look up 'John Abbott' in Google

Bernd Becker 0001

This author has not been identified. Look up 'Bernd Becker 0001' in Google

Anna Maria Bigatti

This author has not been identified. Look up 'Anna Maria Bigatti' in Google

Martin Brain

This author has not been identified. Look up 'Martin Brain' in Google

Bruno Buchberger

This author has not been identified. Look up 'Bruno Buchberger' in Google

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

James H. Davenport

This author has not been identified. Look up 'James H. Davenport' in Google

Matthew England

This author has not been identified. Look up 'Matthew England' in Google

Pascal Fontaine

This author has not been identified. Look up 'Pascal Fontaine' in Google

Stephen Forrest

This author has not been identified. Look up 'Stephen Forrest' in Google

Alberto Griggio

This author has not been identified. Look up 'Alberto Griggio' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google

Werner M. Seiler

This author has not been identified. Look up 'Werner M. Seiler' in Google

Thomas Sturm 0001

This author has not been identified. Look up 'Thomas Sturm 0001' in Google