English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse
  1. Item Summary / 
  2. View item

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT

Fontaine, P., Ogawa, M., Sturm, T., To, V. K., & Vu, X. T. (2018). Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. In A. M. Bigatti, & M. Brain (Eds.), Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference (pp. 110-117). CEUR-WS.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/21.11116/0000-0002-E8AB-8 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-33E7-4
Genre: Conference Paper
Latex : Wrapping Computer Algebra is Surprisingly Successful for Non-Linear {SMT}

Files

show Files

Locators

show
hide
Locator:
http://ceur-ws.org/Vol-2189/paper3.pdf (Publisher version)
Description:
-
OA-Status:

Creators

show
hide
 Creators:
Fontaine, Pascal1, Author
Ogawa, Mizuhito1, Author
Sturm, Thomas2, Author                 
To, Van Khanh1, Author
Vu, Xuan Tung1, 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: 2018
 Publication Status: Published online
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: BibTex Citekey: Fontaine_SC-Square2018
 Degree: -

Event

show
hide
Title: 3rd Workshop on Satisfiability Checking and Symbolic Computation
Place of Event: Oxford, UK
Start-/End Date: 2018-07-11 - 2018-07-11

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference
  Abbreviation : SC-Square 2018
  Other : FLoC 2018
Source Genre: Proceedings
 Creator(s):
Bigatti, Anna M.1, Editor
Brain, Martin1, Editor
Affiliations:
1 External Organizations, ou_persistent22            
Publ. Info: CEUR-WS
Pages: - Volume / Issue: - Sequence Number: 3 Start / End Page: 110 - 117 Identifier: URN: urn:nbn:de:0074-2189-9

Source 2

show
hide
Title: CEUR Workshop Proceedings
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 2189 Sequence Number: - Start / End Page: - Identifier: -