Have a personal or library account? Click to login
Modular strategic SMT solving with SMT-RAT Cover

Modular strategic SMT solving with SMT-RAT

Acta Universitatis Sapientiae, Informatica
Volume 10 (2018): Issue 1 (August 2018)
By: Gereon Kremer and  Erika Ábrahám  
Open Access
|Aug 2018

Metrics

DOI: https://doi.org/10.2478/ausi-2018-0001 | Journal eISSN: 2066-7760
Journal RSS Feed
Language: English
Page range: 5 - 25
Submitted on: May 15, 2018
|
Published on: Aug 29, 2018
Published by: Sapientia Hungarian University of Transylvania
In partnership with: Paradigm Publishing Services
Publication frequency: 2 issues per year
Keywords:
satisfiability modulo theories,
polynomial arithmetic,
strategic combination
Related subjects:
Computer sciences,
Computer sciences, other

© 2018 Gereon Kremer, Erika Ábrahám, published by Sapientia Hungarian University of Transylvania
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Volume 10 (2018): Issue 1 (August 2018)Next article