Satisfiability Checking and Symbolic Computation

Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas

doi:10.1145/3055282.3055285

Item

ITEM ACTIONSEXPORT

Add to Basket

Please note that a newer version of this item is available:
https://pure.mpg.de/pubman/item/item_2403238_3

DetailsSummary

Satisfiability Checking and Symbolic Computation

Ábrahám, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., et al. (2016). Satisfiability Checking and Symbolic Computation. ACM Communications in Computer Algebra, 50(4), 145-147. doi:10.1145/3055282.3055285.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-8ACA-3 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-8ACC-0

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ábrahám, Erika¹, Author
Abbott, John¹, Author
Becker, Bernd¹, Author
Bigatti, Anna M.¹, Author
Brain, Martin¹, Author
Buchberger, Bruno¹, Author
Cimatti, Alessandro¹, Author
Davenport, James H.¹, Author
England, Matthew¹, Author
Fontaine, Pascal¹, Author
Forrest, Stephen¹, Author
Griggio, Alberto¹, Author
Kroening, Daniel¹, Author
Seiler, Werner M.¹, Author
Sturm, Thomas², Author

Affiliations:
1External Organizations, ou_persistent22
2Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2016Date issued: 2016

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: AbrahamCCA2016
DOI: 10.1145/3055282.3055285

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: ACM Communications in Computer Algebra

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: 50 (4) Sequence Number: - Start / End Page: 145 - 147 Identifier: -