Uffe Flarup Hansen

Learn More
We introduce and study certain classes of optimization problems over the real numbers. The classes are defined by logical means, relying on metafinite model theory for so called R-structures (see [11], [10]). More precisely, based on a real analogue of Fagin’s theorem [11] we deal with two classes MAX-NPR and MIN-NPR of maximization and minimization(More)
  • 1