Results 11 to 20 of about 408,011 (339)
New Results on Cutting Plane Proofs for Horn Constraint Systems [PDF]
, 2019 In this paper, we investigate properties of cutting plane based refutations for a class of integer programs called Horn constraint systems (HCS). Briefly, a system of linear inequalities A * x >= b is called a Horn constraint system, if each entry in A ...
Hans Kleine Büning +2 more
openalex +4 more sources
Estimation of specific cutting energy in an S235 alloy for multi-directional ultrasonic vibration-assisted machining using the Finite Element Method [PDF]
, 2020 The objective of this work is to analyze the influence of the vibration-assisted turning process on the machinability of S235 carbon steel. During the experiments using this vibrational machining process, the vibrational amplitude and frequency of the ...
Florez García, Luis Carlos +2 more
core +2 more sources
SIAM Journal on Optimization, 2021 We provide a polynomial time cutting plane algorithm based on split cuts to solve integer programs in the plane. We also prove that the split closure of a polyhedron in the plane has polynomial size.
Basu A. +3 more
openaire +3 more sources
A cutting-plane approach to the edge-weighted maximal clique problem [PDF]
, 1993 We investigated the computational performance of a cutting-plane algorithm for the problem of determining a maximal subclique in an edge-weighted complete graph.
Dijkhuizen, G. van, Faigle, U.
core +5 more sources
Understanding cutting planes for QBFs [PDF]
Information and Computation, 2018 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Beyersdorff, O +3 more
openaire +4 more sources
Hip External Rotator Strength Is Associated With Better Dynamic Control of the Lower Extremity During Landing Tasks [PDF]
, 2016 Hip external rotator strength is associated with better dynamic control of the lower extremity during landing tasks. J Strength Cond Res 30(1): 282–291, 2016—The purpose of this study was to determine the association between hip strength and lower ...
Geiser, Christopher +4 more
core +2 more sources
A New Efficient Algorithm for Hazardous Material Transportation Problem via Lane Reservation
IEEE Access, 2019 Hazardous material transportation is well-known for its high potential risk. Minimizing the transportation risk is an important issue for hazardous material transportation. This paper focuses on a novel algorithm for the hazardous material transportation
Zhen Zhou +4 more
doaj +1 more source
Вестник СибАДИ, 2020 Introduction. To solve the problem of accelerating the construction of roads, improving their quality, it is advisable to use a continuous action unit to form a underlying layer.
V. A. Nikolaev
doaj +1 more source
SIAM Journal on Optimization, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Crystals, 2023 A concise, efficient continuous-wave eye-safe Nd:GdVO4/KGW Raman laser at 1525 nm is here demonstrated. A Nd:GdVO4 crystal was used to produce the fundamental field at 1341 nm and a KGW crystal generated the intracavity Stokes field at 1525 nm via ...
Hsin-Jia Huang +5 more
doaj +1 more source