Symbolic computation and satisfiability checking

Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-02397190
Contributor : Thomas Sturm <>
Submitted on : Friday, December 6, 2019 - 2:15:10 PM
Last modification on : Saturday, December 7, 2019 - 1:41:38 AM

Identifiers

Collections

Citation

James Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Symbolic computation and satisfiability checking. Journal of Symbolic Computation, Elsevier, In press, ⟨10.1016/j.jsc.2019.07.017⟩. ⟨hal-02397190⟩

Share

Metrics

Record views

12