Efficient solution of Boolean satisfiability problems with digital memcomputing. [PDF]
Sci Rep, 2020 Boolean satisfiability is a propositional logic problem of interest in multiple fields, e.g., physics, mathematics, and computer science. Beyond a field of research, instances of the SAT problem, as it is known, require efficient solution methods in a ...
Bearden SRB, Pei YR, Di Ventra M.
europepmc +3 more sources
Multitime multiobjective variational problems via η-approximation method [PDF]
Yugoslav Journal of Operations Research, 2022 The present article is devoted to multitime multiobjective variational problems via η-approximation method. In this method, an η-approximation approach is applied to the considered problem, and a new problem is constructed, called as η- approximated ...
Jha Shalini +2 more
doaj +1 more source
On efficiency and duality for a class of nonconvex nondifferentiable multiobjective fractional variational control problems [PDF]
Opuscula Mathematica, 2023 In this paper, we consider the class of nondifferentiable multiobjective fractional variational control problems involving the nondifferentiable terms in the numerators and in the denominators.
Tadeusz Antczak +2 more
doaj +1 more source
New Class of K-G-Type Symmetric Second Order Vector Optimization Problem
Axioms, 2023 In this paper, we present meanings of K-Gf-bonvexity/K-Gf-pseudobonvexity and their generalization between the above-notice functions. We also construct various concrete non-trivial examples for existing these types of functions.
Chetan Swarup +3 more
doaj +1 more source
Fractal and Fractional, 2023 In this paper, we present an efficient solution method for solving fractional system partial differential equations (FSPDEs) using the Laplace residual power series (LRPS) method.
Ahmad Shafee +2 more
semanticscholar +1 more source
Finding efficient solutions in the interval multi-objective linear programming models [PDF]
Yugoslav Journal of Operations Research, 2021 The aim of our paper is to obtain efficient solutions to the interval multi-objective linear programming (IMOLP) models. In this paper, we propose a new method to determine the efficient solutions in the IMOLP models by using the expected value and ...
Batamiz Aida, Allahdadi Mehdi
doaj +1 more source
Efficient solution of rational conics [PDF]
Mathematics of Computation, 2002 We present efficient algorithms for solving Legendre equations over Q \mathbb Q
J. E. Cremona, D. Rusin
openaire +3 more sources
Sufficient optimality criteria and duality for multiobjective variational control problems with B-(p,r)-invex functions [PDF]
Opuscula Mathematica, 2014 In this paper, we generalize the notion of \(B\)-\((p,r)\)-invexity introduced by Antczak in [A class of \(B\)-\((p; r)\)-invex functions and mathematical programming, J. Math. Anal. Appl. 286 (2003), 187-206] for scalar optimization problems to the case
Tadeusz Antczak, Manuel Arana Jiménez
doaj +1 more source
SmoothQuant: Accurate and Efficient Post-Training Quantization for Large Language Models [PDF]
International Conference on Machine Learning, 2022 Large language models (LLMs) show excellent performance but are compute- and memory-intensive. Quantization can reduce memory and accelerate inference. However, existing methods cannot maintain accuracy and hardware efficiency at the same time.
Guangxuan Xiao +4 more
semanticscholar +1 more source
Transitions of Solutions and Their Efficiency
CoRR, 2023 We broaden the basis of non-cooperative game theory by considering miscoordination on a solution concept. For any solution concept, we extend the solution set of a strategic-form game to a transition set. This set contains profiles where various agents simultaneously follow different solutions, e.g.~different Nash equilibria.
openaire +2 more sources