An example of the satisfiability problem in the continuous structure.

Marek Balcer

Browse the full FedCSIS paper archive.