Satisfiability checking and symbolic computation (Q5268815)

From MaRDI portal
Revision as of 19:34, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 6734046
Language Label Description Also known as
English
Satisfiability checking and symbolic computation
scientific article; zbMATH DE number 6734046

    Statements

    title
    Satisfiability checking and symbolic computation (English)
    0 references
    author
    Erika Ábrahám
    0 references
    John Abbott
    0 references
    Bernd Becker
    0 references
    Anna Maria Bigatti
    0 references
    Martin Brain
    0 references
    Bruno Buchberger
    0 references
    Alessandro Cimatti
    0 references
    Matthew England
    0 references
    Pascal Fontaine
    0 references
    Stephen Forrest
    0 references
    Alberto Griggio
    0 references
    Daniel Kroening
    0 references
    Werner M. Seiler
    0 references
    Thomas Sturm
    0 references
    James H. Davenport
    0 references
    publication date
    21 June 2017
    0 references

    Identifiers

    zbMATH DE Number
    6734046
    0 references
    Wikidata QID
    Q59590563
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5268815&oldid=29322444"
    Powered by MediaWiki