Sentence examples for optimization version from inspiring English sources

Maximum Satisfiability (MaxSAT) is the optimization version of the Satisfiability (SAT) problem.

Weighted Max-SAT is the optimization version of SAT and many important problems can be naturally encoded as such.

Maximization (18) is the optimization version of the set packing problem, which is shown to be NP-hard [30].

It is known that the problem is NP-hard and its optimization version admits a polynomial time approximation scheme (PTAS).

The optimization version of the problem is to find the smallest ξ for which a routing of this kind exists.

We develop exact formulations of the correlation clustering task as Maximum Satisfiability (MaxSAT), the optimization version of the Boolean satisfiability (SAT) problem.

Consequently much effort has been put into finding efficient algorithms for solving both the decision and optimization versions of \(\sc{TSP}\).

As previous considerations for the temporal stage, a comparison between a baseline version, an in-core-level optimization, and optimized version across multi-core has also been performed.

All the algorithms and the simulator were implemented in C++ with the linear program formulations implemented using the CPLEX optimization library version 12.0.

To study the effect of isolation of a part of a mine on the stability of mine ventilation system, a network shown in Fig. 1 was solved using LINGO optimization software, version 14.0.1.58.

We then employ the optimization (optim) procedure in version 2.3.1 of R R Foundation for Statistical Computingg, Vienna, Austria, 2006) to estimate r1 x) through r k (x) by maximum likelihood conditional on the estimates of p j, μ j, and σ j (1 <= j <= k).