Subtropical satisfiability

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017)

Journal publisher: Springer

Published year: 2017

Published pages: 189-206