Marek Balcer. An example of the satisfiability problem in the continuous structure. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017. pages 91-94, 2017. [doi]
Abstract is missing.