@inproceedings{Fontaine2017,
  author    = {Pascal Fontaine and
               Mizuhito Ogawa and
               Thomas Sturm and
               Xuan{-}Tung Vu},
  title     = {Subtropical Satisfiability},
  booktitle = {Frontiers of Combining Systems ({FroCoS})},
  pages     = {189--206},
  year      = {2017},
  editor    = {Clare Dixon and
               Marcelo Finger},
  series    = {Lecture Notes in Computer Science},
  volume    = {10483},
  publisher = {Springer},
  year      = {2017},
}