other · Zenodo (CERN European Organization for Nuclear Research) · 2017

Subtropical Satisfiability

Fontaine, Pascal, Mizuhito Ogawa, Sturm, Thomas, Tung, Vu Xuan

Cited by 0Open access

Abstract

This upload consists of the source code of STROPSAT, a library for SubTROPical SATisfiability, and the experimental data of STROPSAT and Z3 on inequality constraints of SMT-LIB. The paper of STROPSAT was accepted at FroCos 2017 and the paper is publicly accessible at https://arxiv.org/abs/1706.09236.

Cite this paper

APA 7

Fontaine, P., Ogawa, M., Sturm, T., & Tung, V. X. (2017). Subtropical Satisfiability. Zenodo (CERN European Organization for Nuclear Research). https://doi.org/10.5281/zenodo.817615

MLA 9

Fontaine, Pascal, et al. “Subtropical Satisfiability.” Zenodo (CERN European Organization for Nuclear Research), 2017, https://doi.org/10.5281/zenodo.817615.

Chicago

Fontaine, Pascal, Mizuhito Ogawa, Thomas Sturm, and Vu Xuan Tung. 2017. “Subtropical Satisfiability.” Zenodo (CERN European Organization for Nuclear Research). https://doi.org/10.5281/zenodo.817615.

Harvard

Fontaine, P. et al. (2017) ‘Subtropical Satisfiability’, Zenodo (CERN European Organization for Nuclear Research). Available at: https://doi.org/10.5281/zenodo.817615.

BibTeX

@misc{fontaine2017subtropical,
  title = {{Subtropical Satisfiability}},
  author = {Fontaine, Pascal and Ogawa, Mizuhito and Sturm, Thomas and Tung, Vu Xuan},
  journal = {Zenodo (CERN European Organization for Nuclear Research)},
  year = {2017},
  doi = {10.5281/zenodo.817615}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.