About: Satisfiability Checking and Symbolic Computation   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
Author
Bibliographic Citation
  • Sturm Thomas, Abraham Erika, Abbott John, Becker Bern W., Bigatti Anna, Brain Martin, Buchberger Bruno, Cimatti Alessandro, Davenport James, England Matthew, Fontaine Pascal, Forrest Stephen, Griggio Alberto, Kroening Daniel, Seiler Werner. Satisfiability Checking and Symbolic Computation. ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (4), pp.145-147. ⟨10.1145/3055282.3055285⟩
Title
  • Satisfiability Checking and Symbolic Computation
dc:date
  • 2016
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software