Sentence examples for by using a sat from inspiring English sources

Mainstream algorithms for deciding network consistency are based on searching for network refinements whose consistency is known to be tractable, either directly or by using a SAT solver.

Players chose their line on the tee shot by using a sign that sits against the wall of the hotel.

Intel figures that it saved $500 million in hardware costs over ten years by using a homegrown application called NetBatch, which sits on thousands of workstations around the world.

Intel figures it has saved $500 million in hardware costs over ten years by using a homegrown application called NetBatch, which sits on thousands of workstations around the world.

You can release your dog from the sit command by using a command word such as "release" or "free" while taking a step back and encouraging him to come to you.

28 By using a grip dynamometer, grip strength was measured every 5 minutes when the patients sat straight.

If you sit at a desk all day, try mixing it up by using a standing desk sometimes.

Let it sit for 3 minutes to loosen up all grime, previous waxes, etc. Agitate by using a scrub mop.

This would not be appropriate for every office, but Ms. Pinsker Gladstone says she exercises while she sits at her desk by using an exercise ball instead of a chair.

As the intent of this study is to provide a framework to treat medium dependence of equilibrium constants at elevated temperatures by using the SIT model, consequently, the model verification is focused on testing whether interaction coefficients recommended by this study can provide reasonable accuracy in reproduction of medium effects on equilibrium constants.

Especially the lack of muscle power effects by using the sit-to-stand transfer test in this study does not reflect the shown changes in the chair rise component of the SPPB.